Searched refs:VKI_SYS_SEND (Results 1 – 3 of 3) sorted by relevance
1189 res = VG_(do_syscall2)(__NR_socketcall, VKI_SYS_SEND, (UWord)&args); in VG_()
593 #define VKI_SYS_SEND 9 /* sys_send(2) */ macro
4031 case VKI_SYS_SEND: in PRE()4182 case VKI_SYS_SEND: in POST()