cpuidle_coupled_poke_others  506 drivers/cpuidle/coupled.c 		cpuidle_coupled_poke_others(dev->cpu, coupled);
cpuidle_coupled_poke_others  715 drivers/cpuidle/coupled.c 	cpuidle_coupled_poke_others(cpu, coupled);
cpuidle_coupled_poke_others  739 drivers/cpuidle/coupled.c 	cpuidle_coupled_poke_others(cpu, coupled);