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

Re: [Xen-devel] [PATCH v7 4/6] xen/arm: support irq delivery to vcpu > 0

To: Stefano Stabellini <stefano.stabellini@xxxxxxxxxxxxx>
From: Ian Campbell <ian.campbell@xxxxxxxxxx>
Date: Wed, 9 Jul 2014 16:41:02 +0100
Cc: julien.grall@xxxxxxxxxx, xen-devel@xxxxxxxxxxxxxxxxxxx
Delivery-date: Wed, 09 Jul 2014 15:41:30 +0000
List-id: Xen developer discussion <xen-devel.lists.xen.org>

On Thu, 2014-07-03 at 17:53 +0100, Stefano Stabellini wrote:
> Use vgic_get_target_vcpu to retrieve the target vcpu from do_IRQ.
> Remove in-code comments about missing implementation of SGI delivery to
> vcpus other than 0.
> 
> Signed-off-by: Stefano Stabellini <stefano.stabellini@xxxxxxxxxxxxx>

Acked-by: Ian Campbell <ian.campbell@xxxxxxxxxx>



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

References:
- [Xen-devel] [PATCH v7 0/6] vgic emulation and GICD_ITARGETSR
  - From: Stefano Stabellini
- [Xen-devel] [PATCH v7 4/6] xen/arm: support irq delivery to vcpu > 0
  - From: Stefano Stabellini

Prev by Date: Re: [Xen-devel] [PATCH v7 2/6] xen/arm: move setting GIC_IRQ_GUEST_QUEUED earlier
Next by Date: Re: [Xen-devel] [PATCH] tools/xenctx: Correct use of xc_domain_{, un}pause()
Previous by thread: Re: [Xen-devel] [PATCH v7 4/6] xen/arm: support irq delivery to vcpu > 0
Next by thread: [Xen-devel] [PATCH v7 3/6] xen/arm: inflight irqs during migration
Index(es):
- Date
- Thread

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