pid_child         247 usr/server/proc/main.c 	pid_t pid, pid_child;
pid_child         253 usr/server/proc/main.c 	error = sys_waitpid(pid, &status, options, &pid_child);
pid_child         257 usr/server/proc/main.c 	msg->data[0] = pid_child;
pid_child         144 usr/server/proc/proc_exit.c 	pid_t pid_child;
pid_child         155 usr/server/proc/proc_exit.c 	pid_child = 0;
pid_child         199 usr/server/proc/proc_exit.c 				pid_child = p->p_pid;
pid_child         203 usr/server/proc/proc_exit.c 				pid_child = p->p_pid;
pid_child         211 usr/server/proc/proc_exit.c 	*retval = pid_child;