thread_shutdown   131 kern/include/thread.h void thread_shutdown(void);
thread_shutdown   154 kern/startup/main.c 	thread_shutdown();