sys_write          98 kernel/syscall.c extern uint64 sys_write(void);
sys_write         123 kernel/syscall.c [SYS_write]   sys_write,