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