thread_destroy    280 kern/thread/thread.c 		thread_destroy(z);
thread_destroy    498 kern/thread/thread.c 		thread_destroy(newthread);
thread_destroy    517 kern/thread/thread.c 		thread_destroy(newthread);