sys_read           88 kernel/syscall.c extern uint64 sys_read(void);
sys_read          115 kernel/syscall.c   [SYS_read]    = sys_read,