taglinefilesource code
fd1630net/socket.cint fd1, fd2, i;
fd1639net/socket.cif ((fd1 = sys_socket(family, type, protocol)) < 0) 
fd1640net/socket.creturn(fd1);
fd1641net/socket.csock1 = sockfd_lookup(fd1, NULL);
fd1644net/socket.csys_close(fd1);
fd1654net/socket.csys_close(fd1);
fd1661net/socket.csys_close(fd1);
fd1674net/socket.csys_close(fd1);
fd1678net/socket.cput_user(fd1, &usockvec[0]);