proc_waitpid       75 usr/server/proc/main.c static int proc_waitpid(struct msg *);
proc_waitpid      105 usr/server/proc/main.c 	{PS_WAITPID,	proc_waitpid},