Searched refs:VKI_SYS_SEND (Results 1 – 8 of 8) sorted by relevance
515 case VKI_SYS_SEND: in PRE()662 case VKI_SYS_SEND: in POST()
489 case VKI_SYS_SEND: in PRE()635 case VKI_SYS_SEND: in POST()
522 case VKI_SYS_SEND: in PRE()703 case VKI_SYS_SEND: in POST()
456 case VKI_SYS_SEND: in PRE()603 case VKI_SYS_SEND: in POST()
467 case VKI_SYS_SEND: in PRE()592 case VKI_SYS_SEND: in POST()
1509 case VKI_SYS_SEND: in PRE()1656 case VKI_SYS_SEND: in POST()
941 res = VG_(do_syscall2)(__NR_socketcall, VKI_SYS_SEND, (UWord)&args); in VG_()
574 #define VKI_SYS_SEND 9 /* sys_send(2) */ macro