[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Xen-devel] [PATCH 1/4] xen/arm: gic: Ensure we have an ISB between ack and do_IRQ()

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



Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.