[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

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

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



Xen-devel mailing list



Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.