thread_exit       151 kern/include/thread.h void thread_exit(void);
thread_exit       288 kern/startup/menu.c 	thread_exit();
thread_exit        46 kern/syscall/proc_syscalls.c   thread_exit();
thread_exit       126 kern/test/synchtest.c   thread_exit();
thread_exit       179 kern/test/synchtest.c 	thread_exit();
thread_exit       223 kern/test/synchtest.c   thread_exit();
thread_exit       291 kern/test/synchtest.c 				thread_exit();
thread_exit       309 kern/test/synchtest.c   thread_exit();
thread_exit        87 kern/test/uw-tests.c 	thread_exit();
thread_exit       120 kern/test/uw-tests.c 	thread_exit();
thread_exit       254 kern/test/uw-tests.c 	thread_exit();
thread_exit       406 kern/thread/thread.c 	thread_exit();
thread_exit       768 kern/thread/thread.c 	thread_exit();