sys_kill           89 kernel/syscall.c extern uint64 sys_kill(void);
sys_kill          116 kernel/syscall.c   [SYS_kill]    = sys_kill,