324 	int cpu = (unsigned long)info;  in cpuidle_coupled_handle_poke()  local
341 static void cpuidle_coupled_poke(int cpu)  in cpuidle_coupled_poke()
359 	int cpu;  in cpuidle_coupled_poke_others()  local
375 static int cpuidle_coupled_set_waiting(int cpu,  in cpuidle_coupled_set_waiting()
394 static void cpuidle_coupled_set_not_waiting(int cpu,  in cpuidle_coupled_set_not_waiting()
417 static void cpuidle_coupled_set_done(int cpu, struct cpuidle_coupled *coupled)  in cpuidle_coupled_set_done()
436 static int cpuidle_coupled_clear_pokes(int cpu)  in cpuidle_coupled_clear_pokes()
653 	int cpu;  in cpuidle_coupled_register_device()  local
721 	int cpu = get_cpu();  in cpuidle_coupled_prevent_idle()  local
740 	int cpu = get_cpu();  in cpuidle_coupled_allow_idle()  local
765 	int cpu = (unsigned long)hcpu;  in cpuidle_coupled_cpu_notify()  local