VGIC_MAX_SPI
else if (irq->intid < VGIC_MAX_SPI)
if (!irq || !irq->hw || irq->intid > VGIC_MAX_SPI)
__ret = (i) <= VGIC_MAX_SPI; \