Symbol: vkernel_exit
sys/kern/kern_exec.c
441
vkernel_exit(p);
sys/kern/kern_exit.c
407
vkernel_exit(p);
sys/kern/kern_shutdown.c
594
vkernel_exit(p);
sys/sys/vkernel.h
107
void vkernel_exit(struct proc *p);