thread_destroy    105 sys/include/thread.h void	 thread_destroy(thread_t);
thread_destroy    200 sys/kern/task.c 			thread_destroy(t);
thread_destroy    203 sys/kern/task.c 		thread_destroy(curthread);
thread_destroy    141 sys/kern/thread.c 	thread_destroy(t);