sys_kill           88 kernel/syscall.c extern uint64 sys_kill(void);
sys_kill          113 kernel/syscall.c [SYS_kill]    sys_kill,