Defined in 3 files as a function:

• drivers/clocksource/mips-gic-timer.c, line 120 (as a function)
• drivers/irqchip/irq-gic-v3.c, line 1105 (as a function)
• drivers/irqchip/irq-gic.c, line 830 (as a function)

Referenced in 3 files:

• drivers/clocksource/mips-gic-timer.c, line 164
• drivers/irqchip/irq-gic-v3.c, line 1196
• drivers/irqchip/irq-gic.c, line 846