On 25.10.18 17:22, Julien Grall wrote: > You misread what I wrote. They are not needed to cover the vGIC for > GICv2 platform. However they are still necessary, for instance, for > the timer as it is accessible via system registers.
Ah, OK. > Here the isb() sits between ack() and do_IRQ(). > > This ensure the system registers are synchronized after you > acknowledge an interrupt. I see. -- *Andrii Anisov* _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel
