taglinefilesource code
usockvec472net/socket.csock_socketpair(int family, int type, int protocol, int usockvec[2])
usockvec510net/socket.cverify_area(usockvec, 2 * sizeof(int));
usockvec511net/socket.cput_fs_long(fd1, &usockvec[0]);
usockvec512net/socket.cput_fs_long(fd2, &usockvec[1]);