vfork_end         306 usr/server/proc/main.c 		vfork_end(parent);
vfork_end         135 usr/server/proc/proc.h void	vfork_end(struct proc *);
vfork_end          88 usr/server/proc/proc_exit.c 		vfork_end(parent);