Searched refs:gic_id (Results 1 – 1 of 1) sorted by relevance
422 int i, j, cluster_0, gic_id, ret; in bL_switcher_halve_cpus() local489 gic_id = gic_get_cpu_id(i); in bL_switcher_halve_cpus()490 if (gic_id < 0) { in bL_switcher_halve_cpus()495 bL_gic_id[cpu][cluster] = gic_id; in bL_switcher_halve_cpus()497 cpu, cluster, gic_id); in bL_switcher_halve_cpus()