[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
Related show

Message

Julien Grall Oct. 23, 2018, 6:17 p.m.
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.

Cheers,

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(-)