cpuidle.h revision b25edc42
1