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

[Andrii Anisov <andrii.anisov@xxxxxxxxx>]

On 03.12.18 14:17, Julien Grall wrote:
> No. I meant that I would be happy with that and I think should also suit 
> you.
Great!

> There are no isb() in do_trap_irq(). So did you mean gic_interrupt()?
Right you are.

> But then, I am not sure why you want to avoid the isb() in the guest path.
Well, as I remember, and the commit message says, it is needed to get 
peripheral register to be updated before interrupt handler reads them 
for interrupt handling :)
About guest irqs, we, actually, do not handle them, just rise a 
notification to guest that it needs handling. Thus that synchronization 
is not required in a guest interrupt processing path.
--
Sincerely,
Andrii Anisov.

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/xen-devel