gic_get_cpu_id    489 arch/arm/common/bL_switcher.c 		gic_id = gic_get_cpu_id(i);
gic_get_cpu_id    161 include/linux/irqchip/arm-gic.h int gic_get_cpu_id(unsigned int cpu);