cpuidle_coupled_unregister_device
cpuidle_coupled_unregister_device(dev);
void cpuidle_coupled_unregister_device(struct cpuidle_device *dev);