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