processor_idle.c revision 40fb1715
1