Re: [Xen-devel] [PATCH v2 0/2] vgic emulation and GICD_ITARGETSR

[Ian Campbell <Ian.Campbell@xxxxxxxxxx>]

On Tue, 2014-06-03 at 17:04 +0100, Stefano Stabellini wrote:
> Hi all,
> this small patch series improves vgic emulation in relation to
> GICD_ITARGETSR and irq delivery.

I think this somehow relates to the little discussion on "[PATCH v8
13/13] gic_remove_from_queues: take a lock on the right vcpu" is that
correct?

Do these two patches need to go in instead of that one? Or as precursors
to it? Or maybe they are nothing to do with each other?

Ian.

> 
> At the moment we don't support irq delivery to vcpu != 0, so prevent the
> guest from setting itarget to something != 0.
> 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.
> 
> 
> Stefano Stabellini (2):
>       xen/arm: ignore guest writes to GICD_ITARGETSR for SPIs
>       xen/arm: observe itarget setting in vgic_enable_irqs and 
> vgic_disable_irqs
> 
>  xen/arch/arm/vgic.c |   50 ++++++++++++++++++++++++++++++++++++++++++--------
>  1 file changed, 42 insertions(+), 8 deletions(-)



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