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