Defined in 5 files as a prototype:
- drivers/irqchip/irq-gic-v3.c, line 1473 (as a prototype)
- drivers/irqchip/irq-gic-v3.c, line 1476 (as a prototype)
- drivers/irqchip/irq-gic-v3.c, line 1479 (as a prototype)
- drivers/irqchip/irq-gic.c, line 1597 (as a prototype)
- drivers/irqchip/irq-gic.c, line 1600 (as a prototype)