Home
last modified time | relevance | path

Searched refs:xDNSSocket (Results 1 – 6 of 6) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DNS/
DFreeRTOS_DNS_utest.c105 struct xSOCKET xDNSSocket; in test_FreeRTOS_gethostbyname_FailAllocateNetworkBuffer() local
110 xDNSSocket.usLocalPort = 0; in test_FreeRTOS_gethostbyname_FailAllocateNetworkBuffer()
118 DNS_CreateSocket_ExpectAnyArgsAndReturn( &xDNSSocket ); in test_FreeRTOS_gethostbyname_FailAllocateNetworkBuffer()
225 struct xSOCKET xDNSSocket; in test_FreeRTOS_gethostbyname_FailSendDNSRequest() local
231 xDNSSocket.usLocalPort = 0; in test_FreeRTOS_gethostbyname_FailSendDNSRequest()
242 DNS_CreateSocket_ExpectAnyArgsAndReturn( &xDNSSocket ); in test_FreeRTOS_gethostbyname_FailSendDNSRequest()
281 struct xSOCKET xDNSSocket; in test_FreeRTOS_gethostbyname_FailReadDNSReplyNull() local
291 xDNSSocket.usLocalPort = 0; in test_FreeRTOS_gethostbyname_FailReadDNSReplyNull()
299 DNS_CreateSocket_ExpectAnyArgsAndReturn( &xDNSSocket ); in test_FreeRTOS_gethostbyname_FailReadDNSReplyNull()
337 struct xSOCKET xDNSSocket; in test_FreeRTOS_gethostbyname_FailSendDNSReplyZero() local
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_DNS_Networking.c101 BaseType_t DNS_SendRequest( Socket_t xDNSSocket, in DNS_SendRequest() argument
111 xSent = FreeRTOS_sendto( xDNSSocket, in DNS_SendRequest()
139 BaseType_t DNS_ReadReply( ConstSocket_t xDNSSocket, in DNS_ReadReply() argument
147 xReturn = FreeRTOS_recvfrom( xDNSSocket, in DNS_ReadReply()
168 void DNS_CloseSocket( Socket_t xDNSSocket ) in DNS_CloseSocket() argument
170 ( void ) FreeRTOS_closesocket( xDNSSocket ); in DNS_CloseSocket()
DFreeRTOS_DNS.c1138 Socket_t xDNSSocket, in prvSendBuffer() argument
1218 xReturn = DNS_SendRequest( xDNSSocket, in prvSendBuffer()
1245 Socket_t xDNSSocket, in prvGetHostByNameOp() argument
1274 if( xDNSSocket->usLocalPort == 0U ) in prvGetHostByNameOp()
1286 if( DNS_BindSocket( xDNSSocket, usPort ) != 0 ) in prvGetHostByNameOp()
1295 xDNSSocket, in prvGetHostByNameOp()
1307 xBytes = DNS_ReadReply( xDNSSocket, in prvGetHostByNameOp()
1378 Socket_t xDNSSocket, in prvGetHostByNameOp_WithRetry() argument
1390 xDNSSocket, in prvGetHostByNameOp_WithRetry()
1424 Socket_t xDNSSocket; in prvGetHostByName() local
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSgetHostByName/
DDNSgetHostByName_harness.c24 void DNS_CloseSocket( Socket_t xDNSSocket );
25 BaseType_t DNS_ReadReply( ConstSocket_t xDNSSocket,
28 uint32_t DNS_SendRequest( Socket_t xDNSSocket,
87 uint32_t DNS_SendRequest( Socket_t xDNSSocket, in DNS_SendRequest() argument
105 BaseType_t DNS_ReadReply( ConstSocket_t xDNSSocket, in DNS_ReadReply() argument
126 void DNS_CloseSocket( Socket_t xDNSSocket ) in DNS_CloseSocket() argument
128 __CPROVER_assert( xDNSSocket != NULL, "The xDNSSocket cannot be NULL." ); in DNS_CloseSocket()
129 free( xDNSSocket ); in DNS_CloseSocket()
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
DFreeRTOS_DNS_Networking.h51 BaseType_t DNS_SendRequest( Socket_t xDNSSocket,
55 BaseType_t DNS_ReadReply( ConstSocket_t xDNSSocket,
59 void DNS_CloseSocket( Socket_t xDNSSocket );
/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
168 xDNSSocket.usLocalPort = 0; in test_FreeRTOS_gethostbyname_DifferentIdentifier()
179 DNS_CreateSocket_ExpectAnyArgsAndReturn( &xDNSSocket ); in test_FreeRTOS_gethostbyname_DifferentIdentifier()
224 struct xSOCKET xDNSSocket; in test_FreeRTOS_gethostbyname_SameIdentifier() local
238 xDNSSocket.usLocalPort = 0; in test_FreeRTOS_gethostbyname_SameIdentifier()
249 DNS_CreateSocket_ExpectAnyArgsAndReturn( &xDNSSocket ); in test_FreeRTOS_gethostbyname_SameIdentifier()