sys_getpid         93 kernel/syscall.c extern uint64 sys_getpid(void);
sys_getpid        118 kernel/syscall.c [SYS_getpid]  sys_getpid,