thread_idle       113 sys/include/thread.h void	 thread_idle(void);
thread_idle       111 sys/kern/main.c 	thread_idle();