sys_pipe           87 kernel/syscall.c extern uint64 sys_pipe(void);
sys_pipe          114 kernel/syscall.c   [SYS_pipe]    = sys_pipe,