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