sys_getpid         94 kernel/syscall.c extern uint64 sys_getpid(void);
sys_getpid        121 kernel/syscall.c   [SYS_getpid]  = sys_getpid,