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