get_intid_range   143 drivers/irqchip/irq-gic-v3.c 	enum gic_intid_range range = get_intid_range(d);
get_intid_range   149 drivers/irqchip/irq-gic-v3.c 	switch (get_intid_range(d)) {
get_intid_range   245 drivers/irqchip/irq-gic-v3.c 	switch (get_intid_range(d)) {
get_intid_range   427 drivers/irqchip/irq-gic-v3.c 	switch (get_intid_range(d)) {
get_intid_range   536 drivers/irqchip/irq-gic-v3.c 	range = get_intid_range(d);