[Xen-devel] [PATCH 0/2] xen: EOI on the correct GICC interface

[Stefano Stabellini <stefano.stabellini@xxxxxxxxxxxxx>]

Hi all,
this small patch series fixes a serious issue spotted by Julien reading
the GIC code: if the maintenance interrupt is received on a pcpu
different from the one that received the original irq (for example
because the vcpu has been migrated), Xen executes the irq EOI on the
wrong GICC interface.

Fix the issue issuing an SGI.

The patch series is based on Julien's "xen/arm: implement
smp_call_function".


Stefano Stabellini (2):
      xen: allow on_selected_cpus with interrupts disabled
      xen/gic: EOI irqs on the right pcpu

 xen/arch/arm/gic.c           |   15 ++++++++++++++-
 xen/arch/arm/vgic.c          |    7 ++++++-
 xen/common/smp.c             |    7 +++----
 xen/include/asm-arm/domain.h |    2 ++
 4 files changed, 25 insertions(+), 6 deletions(-)

Cheers,

Stefano

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel