Home
last modified time | relevance | path

Searched refs:uxExpectedPayloadLength (Results 1 – 2 of 2) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/CreateDNSMessage/
DCreateDNSMessage_harness.c48 size_t uxExpectedPayloadLength; in harness() local
67 uxExpectedPayloadLength = sizeof( DNSMessage_t ) + in harness()
75 … uxExpectedPayloadLength += ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv6_HEADER + ipSIZE_OF_UDP_HEADER; in harness()
79 … uxExpectedPayloadLength += ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv4_HEADER + ipSIZE_OF_UDP_HEADER; in harness()
83 uint8_t * pucUDPPayloadBuffer = malloc( uxExpectedPayloadLength ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_DNS.c804 size_t uxExpectedPayloadLength; in prvGetPayloadBuffer() local
807 uxExpectedPayloadLength = sizeof( DNSMessage_t ) + in prvGetPayloadBuffer()
815 *ppxNetworkBuffer = pxGetNetworkBufferWithDescriptor( uxExpectedPayloadLength + in prvGetPayloadBuffer()