Searched refs:gic_migrate_target (Results 1 – 3 of 3) sorted by relevance
162 void gic_migrate_target(unsigned int new_cpu_id);
216 gic_migrate_target(bL_gic_id[ib_cpu][ib_cluster]); in bL_switch_to()
963 void gic_migrate_target(unsigned int new_cpu_id) in gic_migrate_target() function