proc_getpid        66 usr/server/proc/main.c static int proc_getpid(struct msg *);
proc_getpid        96 usr/server/proc/main.c 	{PS_GETPID,	proc_getpid},