Lines Matching defs:args
1083 UWord args[3];
1084 args[0] = domain;
1085 args[1] = type;
1086 args[2] = protocol;
1087 res = VG_(do_syscall2)(__NR_socketcall, VKI_SYS_SOCKET, (UWord)&args);
1138 UWord args[3];
1139 args[0] = sockfd;
1140 args[1] = (UWord)serv_addr;
1141 args[2] = addrlen;
1142 res = VG_(do_syscall2)(__NR_socketcall, VKI_SYS_CONNECT, (UWord)&args);
1184 UWord args[4];
1185 args[0] = sd;
1186 args[1] = (UWord)msg;
1187 args[2] = count;
1188 args[3] = VKI_MSG_NOSIGNAL;
1189 res = VG_(do_syscall2)(__NR_socketcall, VKI_SYS_SEND, (UWord)&args);
1222 UWord args[3];
1223 args[0] = sd;
1224 args[1] = (UWord)name;
1225 args[2] = (UWord)namelen;
1226 res = VG_(do_syscall2)(__NR_socketcall, VKI_SYS_GETSOCKNAME, (UWord)&args);
1261 UWord args[3];
1262 args[0] = sd;
1263 args[1] = (UWord)name;
1264 args[2] = (UWord)namelen;
1265 res = VG_(do_syscall2)(__NR_socketcall, VKI_SYS_GETPEERNAME, (UWord)&args);
1300 UWord args[5];
1301 args[0] = sd;
1302 args[1] = level;
1303 args[2] = optname;
1304 args[3] = (UWord)optval;
1305 args[4] = (UWord)optlen;
1306 res = VG_(do_syscall2)(__NR_socketcall, VKI_SYS_GETSOCKOPT, (UWord)&args);
1344 UWord args[5];
1345 args[0] = sd;
1346 args[1] = level;
1347 args[2] = optname;
1348 args[3] = (UWord)optval;
1349 args[4] = (UWord)optlen;
1350 res = VG_(do_syscall2)(__NR_socketcall, VKI_SYS_SETSOCKOPT, (UWord)&args);
