sys_exit           85 kernel/syscall.c extern uint64 sys_exit(void);
sys_exit          112 kernel/syscall.c   [SYS_exit]    = sys_exit,