Symbol: __get_intid_range
drivers/irqchip/irq-gic-v3.c
1556
switch (__get_intid_range(hw)) {
drivers/irqchip/irq-gic-v3.c
277
return __get_intid_range(d->hwirq);
drivers/irqchip/irq-gic-v3.c
309
switch (__get_intid_range(hwirq)) {