323 	int cpu = (unsigned long)info;  in cpuidle_coupled_handle_poke()  local
340 static void cpuidle_coupled_poke(int cpu)  in cpuidle_coupled_poke()
358 	int cpu;  in cpuidle_coupled_poke_others()  local
374 static int cpuidle_coupled_set_waiting(int cpu,  in cpuidle_coupled_set_waiting()
393 static void cpuidle_coupled_set_not_waiting(int cpu,  in cpuidle_coupled_set_not_waiting()
416 static void cpuidle_coupled_set_done(int cpu, struct cpuidle_coupled *coupled)  in cpuidle_coupled_set_done()
435 static int cpuidle_coupled_clear_pokes(int cpu)  in cpuidle_coupled_clear_pokes()
652 	int cpu;  in cpuidle_coupled_register_device()  local
720 	int cpu = get_cpu();  in cpuidle_coupled_prevent_idle()  local
739 	int cpu = get_cpu();  in cpuidle_coupled_allow_idle()  local
764 	int cpu = (unsigned long)hcpu;  in cpuidle_coupled_cpu_notify()  local