sys_write          99 kernel/syscall.c extern uint64 sys_write(void);
sys_write         126 kernel/syscall.c   [SYS_write]   = sys_write,