315 	int cpu = (unsigned long)info;  in cpuidle_coupled_handle_poke()  local
332 static void cpuidle_coupled_poke(int cpu)  in cpuidle_coupled_poke()
350 	int cpu;  in cpuidle_coupled_poke_others()  local
366 static int cpuidle_coupled_set_waiting(int cpu,  in cpuidle_coupled_set_waiting()
385 static void cpuidle_coupled_set_not_waiting(int cpu,  in cpuidle_coupled_set_not_waiting()
408 static void cpuidle_coupled_set_done(int cpu, struct cpuidle_coupled *coupled)  in cpuidle_coupled_set_done()
427 static int cpuidle_coupled_clear_pokes(int cpu)  in cpuidle_coupled_clear_pokes()
644 	int cpu;  in cpuidle_coupled_register_device()  local
711 	int cpu = get_cpu();  in cpuidle_coupled_prevent_idle()  local
730 	int cpu = get_cpu();  in cpuidle_coupled_allow_idle()  local
743 static int coupled_cpu_online(unsigned int cpu)  in coupled_cpu_online()
759 static int coupled_cpu_up_prepare(unsigned int cpu)  in coupled_cpu_up_prepare()