thread_machdep_cleanup   60 kern/include/threadprivate.h void thread_machdep_cleanup(struct thread_machdep *tm);
thread_machdep_cleanup  256 kern/thread/thread.c 	thread_machdep_cleanup(&thread->t_machdep);