sys_pause          96 kernel/syscall.c extern uint64 sys_pause(void);
sys_pause         123 kernel/syscall.c   [SYS_pause]   = sys_pause,