sys_getpid        131 usr/server/proc/main.c 	pid = sys_getpid();
sys_getpid        124 usr/server/proc/proc.h pid_t	sys_getpid(void);