arm: fix inflight_irqs list priority ordering
authorStefano Stabellini <stefano.stabellini@eu.citrix.com>
Wed, 14 Mar 2012 09:47:03 +0000 (09:47 +0000)
committerStefano Stabellini <stefano.stabellini@eu.citrix.com>
Wed, 14 Mar 2012 09:47:03 +0000 (09:47 +0000)
commitdf16fc180f6aa8f06be3d7b9b469df74612c57b7
tree18bcffce5732296b2fd40993b105eb0f946db291
parentf49ca1481df5127ac033fb35085e391270eff0b6
arm: fix inflight_irqs list priority ordering

Lower priority integers mean higher priority.
Also when we are about to insert the lowest priority IRQ so far, add it
at the end.

Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Committed-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/vgic.c