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