Message ID | 1406223192-26267-2-git-send-email-stefano.stabellini@eu.citrix.com |
---|---|
State | New |
Headers | show |
Hi Stefano, On 07/24/2014 06:33 PM, Stefano Stabellini wrote: > It makes the code cleaner, especially with the following patches. > > Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com> > Acked-by: Julien Grall <julien.grall@linaro.org> > Acked-by: Ian Campbell <ian.campbell@citrix.com> > --- > xen/arch/arm/vgic.c | 16 ++++++++-------- > 1 file changed, 8 insertions(+), 8 deletions(-) > > diff --git a/xen/arch/arm/vgic.c b/xen/arch/arm/vgic.c > index ebfec83..8255e96 100644 > --- a/xen/arch/arm/vgic.c > +++ b/xen/arch/arm/vgic.c > @@ -321,13 +321,6 @@ void vgic_vcpu_inject_irq(struct vcpu *v, unsigned int irq) > > spin_lock_irqsave(&v->arch.vgic.lock, flags); > > - if ( !list_empty(&n->inflight) ) > - { > - set_bit(GIC_IRQ_GUEST_QUEUED, &n->status); > - gic_raise_inflight_irq(v, irq); > - goto out; > - } > - > /* vcpu offline */ > if ( test_bit(_VPF_down, &v->pause_flags) ) > { > @@ -335,10 +328,17 @@ void vgic_vcpu_inject_irq(struct vcpu *v, unsigned int irq) > return; > } > > + set_bit(GIC_IRQ_GUEST_QUEUED, &n->status); > + > + if ( !list_empty(&n->inflight) ) > + { > + gic_raise_inflight_irq(v, irq); > + goto out; > + } > + NIT: The line above contains a space. It should be empty. Regards,
On Mon, 28 Jul 2014, Julien Grall wrote: > Hi Stefano, > > On 07/24/2014 06:33 PM, Stefano Stabellini wrote: > > It makes the code cleaner, especially with the following patches. > > > > Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com> > > Acked-by: Julien Grall <julien.grall@linaro.org> > > Acked-by: Ian Campbell <ian.campbell@citrix.com> > > --- > > xen/arch/arm/vgic.c | 16 ++++++++-------- > > 1 file changed, 8 insertions(+), 8 deletions(-) > > > > diff --git a/xen/arch/arm/vgic.c b/xen/arch/arm/vgic.c > > index ebfec83..8255e96 100644 > > --- a/xen/arch/arm/vgic.c > > +++ b/xen/arch/arm/vgic.c > > @@ -321,13 +321,6 @@ void vgic_vcpu_inject_irq(struct vcpu *v, unsigned int irq) > > > > spin_lock_irqsave(&v->arch.vgic.lock, flags); > > > > - if ( !list_empty(&n->inflight) ) > > - { > > - set_bit(GIC_IRQ_GUEST_QUEUED, &n->status); > > - gic_raise_inflight_irq(v, irq); > > - goto out; > > - } > > - > > /* vcpu offline */ > > if ( test_bit(_VPF_down, &v->pause_flags) ) > > { > > @@ -335,10 +328,17 @@ void vgic_vcpu_inject_irq(struct vcpu *v, unsigned int irq) > > return; > > } > > > > + set_bit(GIC_IRQ_GUEST_QUEUED, &n->status); > > + > > + if ( !list_empty(&n->inflight) ) > > + { > > + gic_raise_inflight_irq(v, irq); > > + goto out; > > + } > > + > > NIT: The line above contains a space. It should be empty. fixed
diff --git a/xen/arch/arm/vgic.c b/xen/arch/arm/vgic.c index ebfec83..8255e96 100644 --- a/xen/arch/arm/vgic.c +++ b/xen/arch/arm/vgic.c @@ -321,13 +321,6 @@ void vgic_vcpu_inject_irq(struct vcpu *v, unsigned int irq) spin_lock_irqsave(&v->arch.vgic.lock, flags); - if ( !list_empty(&n->inflight) ) - { - set_bit(GIC_IRQ_GUEST_QUEUED, &n->status); - gic_raise_inflight_irq(v, irq); - goto out; - } - /* vcpu offline */ if ( test_bit(_VPF_down, &v->pause_flags) ) { @@ -335,10 +328,17 @@ void vgic_vcpu_inject_irq(struct vcpu *v, unsigned int irq) return; } + set_bit(GIC_IRQ_GUEST_QUEUED, &n->status); + + if ( !list_empty(&n->inflight) ) + { + gic_raise_inflight_irq(v, irq); + goto out; + } + priority = vgic_byte_read(rank->ipriority[REG_RANK_INDEX(8, irq, DABT_WORD)], 0, irq & 0x3); n->irq = irq; - set_bit(GIC_IRQ_GUEST_QUEUED, &n->status); n->priority = priority; /* the irq is enabled */