Lines Matching refs:VKI_SYS_SOCKET
938 res = VG_(do_syscall2)(__NR_socketcall, VKI_SYS_SOCKET, (UWord)&args);
