ARM: KVM: vgic: force EOIed LRs to the empty state
authorMarc Zyngier <marc.zyngier@arm.com>
Thu, 31 Jan 2013 11:25:52 +0000 (11:25 +0000)
committerMarc Zyngier <marc.zyngier@arm.com>
Fri, 22 Feb 2013 13:29:37 +0000 (13:29 +0000)
The VGIC doesn't guarantee that an EOIed LR that has been configured
to generate a maintenance interrupt will appear as empty.

While the code recovers from this situation, it is better to clean
the LR and flag it as empty so it can be quickly recycled.

Signed-off-by: Marc Zyngier <marc.zyngier@arm.com>

No differences found