cpu_idle          139 kern/include/cpu.h void cpu_idle(void);
cpu_idle          638 kern/thread/thread.c 			cpu_idle();