intel_idle.c revision 32d4fd57
1