Re: [PATCH v4] xen/arm: Deliver interrupts to vcpu specified in IROUTER

[Ian Campbell <Ian.Campbell@citrix.com>]

On Fri, 2014-09-26 at 16:53 +0100, Stefano Stabellini wrote:
> On Fri, 26 Sep 2014, Stefano Stabellini wrote:
> > On Fri, 26 Sep 2014, vijay.kilari@gmail.com wrote:
> > > From: Vijaya Kumar K <Vijaya.Kumar@caviumnetworks.com>
> > > 
> > > In GICv3 use IROUTER register contents to deliver irq to
> > > specified vcpu.
> > > 
> > > vgic irouter[irq] is used to represent vcpu number for which
> > > irq affinity is assigned. Bit[31] is used to store IROUTER
> > > bit[31] value to represent irq mode.
> > > 
> > > This patch is similar to Stefano's commit
> > > 5b3a817ea33b891caf7d7d788da9ce6deffa82a1 for GICv2
> > > 
> > > Signed-off-by: Vijaya Kumar K <Vijaya.Kumar@caviumnetworks.com>
> > 
> > Thanks for your work Vijaya.
> > Few very small changes required, see below. With them:
> > 
> > Acked-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
> > 
> > 
> > Ian, maybe you could just apply and make the changes yourself?
> 
> For clarity, I have appended the patch with the three changes I listed:

I applied it, thanks.