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;