Symbol: cpuidle_coupled_cpus_waiting
drivers/cpuidle/coupled.c
514
while (!cpuidle_coupled_cpus_waiting(coupled) ||
drivers/cpuidle/coupled.c
558
if (!cpuidle_coupled_cpus_waiting(coupled))