cpuidle_coupled_register_device  580 drivers/cpuidle/cpuidle.c 	ret = cpuidle_coupled_register_device(dev);
cpuidle_coupled_register_device   45 drivers/cpuidle/cpuidle.h int cpuidle_coupled_register_device(struct cpuidle_device *dev);