ppid 48 usr/bin/ps/ps.c pid_t ppid;
ppid 68 usr/bin/ps/ps.c pi->ppid = -1;
ppid 74 usr/bin/ps/ps.c pi->ppid = m.data[1];
ppid 132 usr/bin/ps/ps.c printf("%5d %5d", pi.pid, pi.ppid);
ppid 140 usr/server/proc/main.c pid_t ppid;
ppid 142 usr/server/proc/main.c ppid = sys_getppid();
ppid 144 usr/server/proc/main.c msg->data[0] = (int)ppid;