cpuidle.h revision e0751058
1