gic_starting_cpu  148 drivers/clocksource/mips-gic-timer.c 			  gic_starting_cpu, gic_dying_cpu);
gic_starting_cpu 1125 drivers/irqchip/irq-gic-v3.c 				  gic_starting_cpu, NULL);
gic_starting_cpu 1216 drivers/irqchip/irq-gic.c 					  gic_starting_cpu, NULL);