Searched refs:VKI_SYS_SOCKET (Results 1 – 8 of 8) sorted by relevance
475 case VKI_SYS_SOCKET: in PRE()636 case VKI_SYS_SOCKET: in POST()
449 case VKI_SYS_SOCKET: in PRE()610 case VKI_SYS_SOCKET: in POST()
469 case VKI_SYS_SOCKET: in PRE()679 case VKI_SYS_SOCKET: in POST()
416 case VKI_SYS_SOCKET: in PRE()577 case VKI_SYS_SOCKET: in POST()
438 case VKI_SYS_SOCKET: in PRE()574 case VKI_SYS_SOCKET: in POST()
1469 case VKI_SYS_SOCKET: in PRE()1630 case VKI_SYS_SOCKET: in POST()
863 res = VG_(do_syscall2)(__NR_socketcall, VKI_SYS_SOCKET, (UWord)&args); in VG_()
566 #define VKI_SYS_SOCKET 1 /* sys_socket(2) */ macro