thread_bootstrap  122 kern/include/thread.h void thread_bootstrap(void);
thread_bootstrap  111 kern/startup/main.c 	thread_bootstrap();