Symbol: cpu_exit
sys/kern/kern_exit.c
405
cpu_exit(p);
sys/sys/proc.h
596
void cpu_exit(struct proc *);