taglinefilesource code
fildes61fs/fcntl.cint sys_dup(unsigned int fildes)
fildes63fs/fcntl.creturn dupfd(fildes,0);
fildes215fs/pipe.cint sys_pipe(unsigned long * fildes)
fildes222fs/pipe.cj = verify_area(VERIFY_WRITE,fildes,8);
fildes260fs/pipe.cput_fs_long(fd[0],0+fildes);
fildes261fs/pipe.cput_fs_long(fd[1],1+fildes);