cpuidle_coupled_set_done  585 drivers/cpuidle/coupled.c 		cpuidle_coupled_set_done(dev->cpu, coupled);
cpuidle_coupled_set_done  596 drivers/cpuidle/coupled.c 	cpuidle_coupled_set_done(dev->cpu, coupled);