Defined in 2 files as a macro:

• drivers/irqchip/irq-gic-v3.c, line 1473 (as a macro)
• drivers/irqchip/irq-gic.c, line 875 (as a macro)

Defined in 2 files as a function:

• drivers/irqchip/irq-gic-v3.c, line 1404 (as a function)
• drivers/irqchip/irq-gic.c, line 856 (as a function)

Referenced in 2 files:

• drivers/irqchip/irq-gic-v3.c, line 2054
• drivers/irqchip/irq-gic.c, line 1262