15 int close(int fd)  in close()  argument
17     return syscall_invoke(SYS_CLOSE, fd, 0, 0, 0, 0, 0, 0, 0);  in close()
28 ssize_t read(int fd, void *buf, size_t count)  in read()  argument
30     return (ssize_t)syscall_invoke(SYS_READ, fd, (uint64_t)buf, count, 0, 0, 0, 0, 0);  in read()
41 ssize_t write(int fd, void const *buf, size_t count)  in write()  argument
43     return (ssize_t)syscall_invoke(SYS_WRITE, fd, (uint64_t)buf, count, 0, 0, 0, 0, 0);  in write()
54 off_t lseek(int fd, off_t offset, int whence)  in lseek()  argument
56     return (off_t)syscall_invoke(SYS_LSEEK, fd, offset, whence, 0, 0, 0, 0, 0);  in lseek()
73 int pipe(int fd[2])  in pipe()
75     return (int)syscall_invoke(SYS_PIPE, fd, 0, 0, 0, 0, 0, 0, 0);  in pipe()
220 int dup(int fd)  in dup()  argument
222     return syscall_invoke(SYS_DUP, fd, 0, 0, 0, 0, 0, 0, 0);  in dup()