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

[Stefano Stabellini <stefano.stabellini@xxxxxxxxxxxxx>]

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
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel