Searched refs:VKI_SYS_SOCKET (Results 1 – 3 of 3) sorted by relevance
1122 res = VG_(do_syscall2)(__NR_socketcall, VKI_SYS_SOCKET, (UWord)&args); in VG_()
581 #define VKI_SYS_SOCKET 1 /* sys_socket(2) */ macro
4546 case VKI_SYS_SOCKET: in PRE()4709 case VKI_SYS_SOCKET: in POST()