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@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel
