302 	int cpu = (unsigned long)info;  in cpuidle_coupled_handle_poke()  local
319 static void cpuidle_coupled_poke(int cpu)  in cpuidle_coupled_poke()
337 	int cpu;  in cpuidle_coupled_poke_others()  local
353 static int cpuidle_coupled_set_waiting(int cpu,  in cpuidle_coupled_set_waiting()
372 static void cpuidle_coupled_set_not_waiting(int cpu,  in cpuidle_coupled_set_not_waiting()
395 static void cpuidle_coupled_set_done(int cpu, struct cpuidle_coupled *coupled)  in cpuidle_coupled_set_done()
414 static int cpuidle_coupled_clear_pokes(int cpu)  in cpuidle_coupled_clear_pokes()
631 	int cpu;  in cpuidle_coupled_register_device()  local
699 	int cpu = get_cpu();  in cpuidle_coupled_prevent_idle()  local
718 	int cpu = get_cpu();  in cpuidle_coupled_allow_idle()  local
743 	int cpu = (unsigned long)hcpu;  in cpuidle_coupled_cpu_notify()  local