VGIC_MAX_SPI
else if (irq->intid < VGIC_MAX_SPI)
if (!irq || !irq->hw || irq->intid > VGIC_MAX_SPI)
(irq) <= VGIC_MAX_SPI)