taglinefilesource code
usockvec469net/socket.csock_socketpair(int family, int type, int protocol, int usockvec[2])
usockvec507net/socket.cverify_area(VERIFY_WRITE,usockvec, 2 * sizeof(int));
usockvec508net/socket.cput_fs_long(fd1, &usockvec[0]);
usockvec509net/socket.cput_fs_long(fd2, &usockvec[1]);