All of lore.kernel.org
 help / color / mirror / Atom feed
* [PATCH 0/2] xen: EOI on the correct GICC interface
@ 2013-05-03 14:58 Stefano Stabellini
  2013-05-03 14:58 ` [PATCH 1/2] xen: allow on_selected_cpus with interrupts disabled Stefano Stabellini
  2013-05-03 14:58 ` [PATCH 2/2] xen/gic: EOI irqs on the right pcpu Stefano Stabellini
  0 siblings, 2 replies; 11+ messages in thread
From: Stefano Stabellini @ 2013-05-03 14:58 UTC (permalink / raw)
  To: xen-devel; +Cc: Julien Grall, Ian Campbell, Stefano Stabellini

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

^ permalink raw reply	[flat|nested] 11+ messages in thread

end of thread, other threads:[~2013-05-03 17:38 UTC | newest]

Thread overview: 11+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2013-05-03 14:58 [PATCH 0/2] xen: EOI on the correct GICC interface Stefano Stabellini
2013-05-03 14:58 ` [PATCH 1/2] xen: allow on_selected_cpus with interrupts disabled Stefano Stabellini
2013-05-03 15:21   ` Ian Campbell
2013-05-03 15:57     ` Keir Fraser
2013-05-03 16:01       ` Ian Campbell
2013-05-03 16:04         ` Ian Campbell
2013-05-03 17:38           ` Keir Fraser
2013-05-03 16:40     ` Stefano Stabellini
2013-05-03 15:53   ` Keir Fraser
2013-05-03 14:58 ` [PATCH 2/2] xen/gic: EOI irqs on the right pcpu Stefano Stabellini
2013-05-03 15:13   ` Julien Grall

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.