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