Symbol: cpu_thread_exit
sys/kern/kern_thread.c
961
cpu_thread_exit(td);
sys/sys/proc.h
1256
void cpu_thread_exit(struct thread *);