cpuidle_coupled_cpus_waiting 518 drivers/cpuidle/coupled.c while (!cpuidle_coupled_cpus_waiting(coupled) || cpuidle_coupled_cpus_waiting 562 drivers/cpuidle/coupled.c if (!cpuidle_coupled_cpus_waiting(coupled))