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

[Julien Grall <julien.grall@xxxxxxx>]

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

-- 
2.11.0


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