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