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

[Xen-devel] [PATCH v3 0/2] vgic emulation and GICD_ITARGETSR

Hi all,
this small patch series improves vgic emulation in relation to
GICD_ITARGETSR and implements irq delivery to vcpus other than vcpu0.

vgic_enable_irqs and vgic_disable_irqs currently ignore the itarget
settings and just enable/disable irqs on the current vcpu. Fix their
behaviour to enable/disable irqs on the vcpu set by itarget, that is
always vcpu0 for irq >= 32.

Introduce a new vgic function called vgic_get_target_vcpu to retrieve
the right target vcpu (looking at itargets) and use it from do_IRQ.

Stefano Stabellini (2):
      xen/arm: observe itarget setting in vgic_enable_irqs and vgic_disable_irqs
      xen/arm: support irq delivery to vcpu > 0

 xen/arch/arm/gic.c        |    3 +--
 xen/arch/arm/irq.c        |    7 +++----
 xen/arch/arm/vgic.c       |   44 ++++++++++++++++++++++++++++++++++++--------
 xen/include/asm-arm/gic.h |    2 ++
 4 files changed, 42 insertions(+), 14 deletions(-)

Xen-devel mailing list



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