Symbol: cpu_exit
sys/kern/kern_exit.c
457
cpu_exit(td);
sys/sys/proc.h
1232
void cpu_exit(struct thread *);