Searched refs:gic_get_cpu_id (Results 1 – 3 of 3) sorted by relevance
173 int gic_get_cpu_id(unsigned int cpu);
492 gic_id = gic_get_cpu_id(i); in bL_switcher_halve_cpus()
856 int gic_get_cpu_id(unsigned int cpu) in gic_get_cpu_id() function
