Re: [PATCH v9 12/12] xen/arm: gic_events_need_delivery and irq priorities

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

On Tue, 2014-06-10 at 15:07 +0100, Stefano Stabellini wrote:
> Introduce GIC_IRQ_GUEST_ACTIVE to track which irqs are currently
> active in the guest.
> 
> gic_events_need_delivery should only return positive if an outstanding
> pending irq has an higher group priority than the currently active group
> priotity and the priority mask.
> Read GICH_APR to find the active group priority.
> Read GICH_VMCR to find the priority mask.
> Find the highest priority non-active enabled irq by going through the
> inflight list.
> 
> In gic_restore_pending_irqs replace lower priority pending (and not
> active) irqs in GICH_LRs with higher priority irqs if no more GICH_LRs
> are available.
> 
> Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
> 
> ---
> 
> Changes in v9:
> - gic_events_need_delivery: read GICH_APR to find the active group
> priority;
> - gic_events_need_delivery: simplify the search loop.

Thanks, I can actually grok this version ;-)

Acked this + #9.

AIUI there is no relationship here with "xen/arm: make accesses to
desc->status flags atomic" which fixes an issue which already present
before this series.

There applied (this series, not the atomic flags one, yet). thanks.

Ian.