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