taglinefilesource code
fd1577net/socket.cint fd1, fd2, i;
fd1586net/socket.cif ((fd1 = sys_socket(family, type, protocol)) < 0) 
fd1587net/socket.creturn(fd1);
fd1588net/socket.csock1 = sockfd_lookup(fd1, NULL);
fd1591net/socket.csys_close(fd1);
fd1601net/socket.csys_close(fd1);
fd1608net/socket.csys_close(fd1);
fd1621net/socket.csys_close(fd1);
fd1625net/socket.cput_user(fd1, &usockvec[0]);