Home
last modified time | relevance | path

Searched refs:xDNSBuffer (Results 1 – 7 of 7) sorted by relevance

/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/DNS/DNSgetHostByName/
DDNSgetHostByName_harness.c27 struct xDNSBuffer * pxDNSBuf );
30 struct xDNSBuffer * pxDNSBuf );
81 struct xDNSBuffer * pxDNSBuf ) in DNS_SendRequest()
99 struct xDNSBuffer * pxDNSBuf ) in DNS_ReadReply()
/FreeRTOS-Plus-TCP-v3.1.0/source/include/
DFreeRTOS_DNS_Networking.h43 const struct xDNSBuffer * pxDNSBuf );
47 struct xDNSBuffer * pxReceiveBuffer );
DFreeRTOS_DNS_Globals.h235 typedef struct xDNSBuffer struct
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_DNS_Networking/
DFreeRTOS_DNS_Networking_utest.c164 struct xDNSBuffer pxDNSBuf; in test_SendRequest_success()
181 struct xDNSBuffer pxDNSBuf; in test_SendRequest_fail()
197 struct xDNSBuffer pxDNSBuf; in test_ReadReply_success()
/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_DNS_Networking.c97 const struct xDNSBuffer * pxDNSBuf ) in DNS_SendRequest()
131 struct xDNSBuffer * pxReceiveBuffer ) in DNS_ReadReply()
DFreeRTOS_DNS.c423 static uint32_t prvDNSReply( const struct xDNSBuffer * pxReceiveBuffer, in prvDNSReply()
476 struct xDNSBuffer xDNSBuf = { 0 }; in prvSendBuffer()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_DNS/
DFreeRTOS_DNS_utest.c261 struct xDNSBuffer xReceiveBuffer; in test_FreeRTOS_gethostbyname_fail_read_dns_reply_null()
306 struct xDNSBuffer xReceiveBuffer; in test_FreeRTOS_gethostbyname_fail_send_dns_reply_zero()
359 struct xDNSBuffer xReceiveBuffer; in test_FreeRTOS_gethostbyname_succes()
586 struct xDNSBuffer xReceiveBuffer; in test_FreeRTOS_gethostbyname_a_no_callback_retry_once()