Searched refs:bL_gic_id (Results 1 – 1 of 1) sorted by relevance
137 static unsigned int bL_gic_id[MAX_CPUS_PER_CLUSTER][MAX_NR_CLUSTERS]; variable181 ipi_nr |= ((1 << 16) << bL_gic_id[ob_cpu][ob_cluster]); in bL_switch_to()198 gic_send_sgi(bL_gic_id[ib_cpu][ib_cluster], 0); in bL_switch_to()216 gic_migrate_target(bL_gic_id[ib_cpu][ib_cluster]); in bL_switch_to()494 bL_gic_id[cpu][cluster] = gic_id; in bL_switcher_halve_cpus()