Searched refs:VKI_AF_INET (Results 1 – 6 of 6) sorted by relevance
1006 servAddr.sin_family = VKI_AF_INET; in VG_()1011 sd = VG_(socket)(VKI_AF_INET, VKI_SOCK_STREAM, 0 /* IPPROTO_IP ? */); in VG_()
173 #define VKI_AF_INET AF_INET macro
1074 #define VKI_AF_INET AF_INET macro
693 #define VKI_AF_INET 2 /* Internet IP Protocol */ macro
774 case VKI_AF_INET: { in getsockdetails()1139 case VKI_AF_INET: in pre_mem_read_sockaddr()
10346 if (a->sa_family == VKI_AF_INET) in ML_()