[PATCH 04/10] KVM: arm/arm64: vgic: Allow HW irq to be encoded in LR

[Peter Maydell]

On 17 June 2015 at 12:53, Eric Auger <eric.auger at linaro.org> wrote:
> shouldn't we test somewhere that the hwirq is between 16 and 1019.

Not directly related, but that reminds me that I noticed the
other day that we have VGIC_MAX_IRQS = 1024 (and use that as a
guard on how many irqs we let userspace configure and ask us
to deliver), but that doesn't account for the couple of magic
numbers at the top of the range. I think that lets userspace
cause us to do UNPREDICTABLE things to the GIC...

-- PMM