Symbol: gic_migrate_target
arch/arm/common/bL_switcher.c
216
gic_migrate_target(bL_gic_id[ib_cpu][ib_cluster]);
include/linux/irqchip/arm-gic.h
162
void gic_migrate_target(unsigned int new_cpu_id);