sys_getppid       142 usr/server/proc/main.c 	ppid = sys_getppid();
sys_getppid       125 usr/server/proc/proc.h pid_t	sys_getppid(void);