On 22 June 2012 15:22, Marc Zyngier <marc.zyngier at arm.com> wrote: > Good point. Two option then: turning vgic_lr_irq_map[] into a u16 array, > or limiting VGIC_NR_IRQS to 256. I think this is high enough, but who knows? FWIW, on the QEMU side I took the approach of using the architectural maximum limit of 1020 (reasoning that I could live with the memory usage hit). Kernel side tradeoffs may be different, of course. -- PMM
