thread_init       117 sys/include/thread.h void	 thread_init(void);
thread_init        86 sys/kern/main.c 	thread_init();