in intel_idle.c [1691:1697]
static void __init intel_idle_cpuidle_devices_uninit(void) { int i; for_each_online_cpu(i) cpuidle_unregister_device(per_cpu_ptr(intel_idle_cpuidle_devices, i)); }