thread_deallocate   45 sys/kern/thread.c static void	thread_deallocate(thread_t);
thread_deallocate  157 sys/kern/thread.c 	thread_deallocate(th);
thread_deallocate  565 sys/kern/thread.c 	thread_deallocate(t);