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);