GIC_LAST_SPI
if (irq >= GIC_FIRST_SPI && irq <= GIC_LAST_SPI) {
KASSERT(gi->gi_irq >= GIC_FIRST_SPI && gi->gi_irq <= GIC_LAST_SPI,
active_irq <= GIC_LAST_SPI) {
MPASS(irq <= GIC_LAST_SPI);
if (irq >= GIC_FIRST_PPI && irq <= GIC_LAST_SPI) {
} else if (irq >= GIC_FIRST_SPI && irq <= GIC_LAST_SPI) {
} else if (irq >= GIC_FIRST_SPI && irq <= GIC_LAST_SPI) {
} else if (irqid <= GIC_LAST_SPI) {
#define VGIC_SPI_NUM (GIC_LAST_SPI - GIC_FIRST_SPI + 1)