gic_migrate_target
gic_migrate_target(bL_gic_id[ib_cpu][ib_cluster]);
void gic_migrate_target(unsigned int new_cpu_id);