sys_sync          105 kernel/syscall.c extern uint64 sys_sync(void);
sys_sync          132 kernel/syscall.c   [SYS_sync]    = sys_sync,