Home
last modified time | relevance | path

Searched defs:xDNSSocket (Results 1 – 5 of 5) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_DNS_Networking.c101 BaseType_t DNS_SendRequest( Socket_t xDNSSocket, in DNS_SendRequest()
139 BaseType_t DNS_ReadReply( ConstSocket_t xDNSSocket, in DNS_ReadReply()
168 void DNS_CloseSocket( Socket_t xDNSSocket ) in DNS_CloseSocket()
DFreeRTOS_DNS.c1138 Socket_t xDNSSocket, in prvSendBuffer()
1245 Socket_t xDNSSocket, in prvGetHostByNameOp()
1378 Socket_t xDNSSocket, in prvGetHostByNameOp_WithRetry()
1424 Socket_t xDNSSocket; in prvGetHostByName() local
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DNS/
DFreeRTOS_DNS_utest.c105 struct xSOCKET xDNSSocket; in test_FreeRTOS_gethostbyname_FailAllocateNetworkBuffer() local
225 struct xSOCKET xDNSSocket; in test_FreeRTOS_gethostbyname_FailSendDNSRequest() local
281 struct xSOCKET xDNSSocket; in test_FreeRTOS_gethostbyname_FailReadDNSReplyNull() local
337 struct xSOCKET xDNSSocket; in test_FreeRTOS_gethostbyname_FailSendDNSReplyZero() local
400 struct xSOCKET xDNSSocket; in test_FreeRTOS_gethostbyname_Success() local
607 struct xSOCKET xDNSSocket; in test_FreeRTOS_gethostbyname_a_SetCallback() local
680 struct xSOCKET xDNSSocket; in test_FreeRTOS_gethostbyname_a_NoCallbackRetryOnce() local
941 struct xSOCKET xDNSSocket; in test_FreeRTOS_getaddrinfo_a_IPv6Random_EndPointNotFound() local
982 struct xSOCKET xDNSSocket; in test_FreeRTOS_getaddrinfo_a_IPv4Random_BindFailWithDot() local
1040 struct xSOCKET xDNSSocket; in test_FreeRTOS_getaddrinfo_a_IPv6Random_BindFailWithDot() local
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSgetHostByName/
DDNSgetHostByName_harness.c87 uint32_t DNS_SendRequest( Socket_t xDNSSocket, in DNS_SendRequest()
105 BaseType_t DNS_ReadReply( ConstSocket_t xDNSSocket, in DNS_ReadReply()
126 void DNS_CloseSocket( Socket_t xDNSSocket ) in DNS_CloseSocket()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DNS_ConfigNoCallback/
DFreeRTOS_DNS_ConfigNoCallback_utest.c154 struct xSOCKET xDNSSocket; in test_FreeRTOS_gethostbyname_DifferentIdentifier() local
224 struct xSOCKET xDNSSocket; in test_FreeRTOS_gethostbyname_SameIdentifier() local