cpuidle.h revision 56cfbf74
1