EPPI_BASE_INTID 120 drivers/irqchip/irq-gic-v3.c case EPPI_BASE_INTID ... (EPPI_BASE_INTID + 63): EPPI_BASE_INTID 256 drivers/irqchip/irq-gic-v3.c *index = d->hwirq - EPPI_BASE_INTID + 32; EPPI_BASE_INTID 431 drivers/irqchip/irq-gic-v3.c return d->hwirq - EPPI_BASE_INTID + 16; EPPI_BASE_INTID 1299 drivers/irqchip/irq-gic-v3.c *hwirq = fwspec->param[1] + EPPI_BASE_INTID; EPPI_BASE_INTID 1307 drivers/irqchip/irq-gic-v3.c *hwirq += EPPI_BASE_INTID - 16;