mbox series

[Xen-devel,0/4] xen/arm: GIC fixes and improvement

Message ID 20181023181709.11883-1-julien.grall@arm.com
Headers show
Series xen/arm: GIC fixes and improvement | expand


Julien Grall Oct. 23, 2018, 6:17 p.m. UTC
Hi all,

The first two patches resolves to out-of-order bug in the GIC code. They are
candidate for backporting.

The last patch is an relaxation in the barrier used when sending an SGI.


Julien Grall (4):
  xen/arm: gic: Ensure we have an ISB between ack and do_IRQ()
  xen/arm: gic: Ensure ordering between read of INTACK and shared data
  xen/arm: gic: Remove duplicated comment in do_sgi
  xen/arm: gic: Relax barrier when sending an SGI

 xen/arch/arm/gic-v2.c |  6 ++++++
 xen/arch/arm/gic-v3.c |  6 ++++++
 xen/arch/arm/gic.c    | 13 +++++++++----
 3 files changed, 21 insertions(+), 4 deletions(-)