Home
last modified time | relevance | path

Searched refs:DNS_ReadReply (Results 1 – 5 of 5) sorted by relevance

/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/DNS/DNSgetHostByName/
DDNSgetHostByName_harness.c25 void DNS_ReadReply( Socket_t xDNSSocket,
97 void DNS_ReadReply( Socket_t xDNSSocket, in DNS_ReadReply() function
/FreeRTOS-Plus-TCP-v3.1.0/source/include/
DFreeRTOS_DNS_Networking.h45 void DNS_ReadReply( const ConstSocket_t xDNSSocket,
/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_DNS_Networking.c129 void DNS_ReadReply( const ConstSocket_t xDNSSocket, in DNS_ReadReply() function
DFreeRTOS_DNS.c548 DNS_ReadReply( xDNSSocket, in prvGetHostByNameOp()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_DNS_Networking/
DFreeRTOS_DNS_Networking_utest.c201 DNS_ReadReply( s, &xAddress, &pxDNSBuf ); in test_ReadReply_success()