Searched refs:pxDNSBuf (Results 1 – 4 of 4) sorted by relevance
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/DNS/DNSgetHostByName/ |
| D | DNSgetHostByName_harness.c | 27 struct xDNSBuffer * pxDNSBuf );
30 struct xDNSBuffer * pxDNSBuf );
81 struct xDNSBuffer * pxDNSBuf ) in DNS_SendRequest() argument
99 struct xDNSBuffer * pxDNSBuf ) in DNS_ReadReply() argument
103 pxDNSBuf->pucPayloadBuffer = safeMalloc( len ); in DNS_ReadReply()
105 pxDNSBuf->uxPayloadLength = len; in DNS_ReadReply()
108 __CPROVER_assume( pxDNSBuf->pucPayloadBuffer != NULL ); in DNS_ReadReply()
110 __CPROVER_havoc_slice( pxDNSBuf->pucPayloadBuffer, pxDNSBuf->uxPayloadSize ); in DNS_ReadReply()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_DNS_Networking/ |
| D | FreeRTOS_DNS_Networking_utest.c | 164 struct xDNSBuffer pxDNSBuf; in test_SendRequest_success() local
168 ret = DNS_SendRequest( s, &xAddress, &pxDNSBuf ); in test_SendRequest_success()
181 struct xDNSBuffer pxDNSBuf; in test_SendRequest_fail() local
185 ret = DNS_SendRequest( s, &xAddress, &pxDNSBuf ); in test_SendRequest_fail()
197 struct xDNSBuffer pxDNSBuf; in test_ReadReply_success() local
201 DNS_ReadReply( s, &xAddress, &pxDNSBuf ); in test_ReadReply_success()
203 TEST_ASSERT_EQUAL( 600, pxDNSBuf.uxPayloadLength ); in test_ReadReply_success()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/ |
| D | FreeRTOS_DNS_Networking.c | 97 const struct xDNSBuffer * pxDNSBuf ) in DNS_SendRequest() argument
105 pxDNSBuf->pucPayloadBuffer, in DNS_SendRequest()
106 pxDNSBuf->uxPayloadLength, in DNS_SendRequest()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/include/ |
| D | FreeRTOS_DNS_Networking.h | 43 const struct xDNSBuffer * pxDNSBuf );
|
