__get_intid_range  133 drivers/irqchip/irq-gic-v3.c 	return __get_intid_range(d->hwirq);
__get_intid_range 1246 drivers/irqchip/irq-gic-v3.c 	switch (__get_intid_range(hw)) {