Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_UDP_IP.c100 size_t uxPayloadSize; in vProcessGeneratedUDPPacket() local
115 uxPayloadSize = pxNetworkBuffer->xDataLength - sizeof( ICMPPacket_t ); in vProcessGeneratedUDPPacket()
120 uxPayloadSize = pxNetworkBuffer->xDataLength - sizeof( UDPPacket_t ); in vProcessGeneratedUDPPacket()
151 pxUDPHeader->usLength = ( uint16_t ) ( uxPayloadSize + sizeof( UDPHeader_t ) ); in vProcessGeneratedUDPPacket()
197 …pxIPHeader->usLength = ( uint16_t ) ( uxPayloadSize + sizeof( IPHeader_t ) + sizeof( ICMPHeader_t … in vProcessGeneratedUDPPacket()
202 …pxIPHeader->usLength = ( uint16_t ) ( uxPayloadSize + sizeof( IPHeader_t ) + sizeof( UDPHeader_t )… in vProcessGeneratedUDPPacket()
DFreeRTOS_DNS.c485 xDNSBuf.uxPayloadSize = pxNetworkBuffer->xDataLength; in prvSendBuffer()
768 size_t uxPayloadSize; in ulDNSHandlePacket() local
774 uxPayloadSize = pxNetworkBuffer->xDataLength - sizeof( UDPPacket_t ); in ulDNSHandlePacket()
776 if( uxPayloadSize >= sizeof( DNSMessage_t ) ) in ulDNSHandlePacket()
782 uxPayloadSize, in ulDNSHandlePacket()
DFreeRTOS_DNS_Networking.c142 pxReceiveBuffer->uxPayloadSize = pxReceiveBuffer->uxPayloadLength; in DNS_ReadReply()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/DNS/DNSgetHostByName/
DDNSgetHostByName_harness.c110 __CPROVER_havoc_slice( pxDNSBuf->pucPayloadBuffer, pxDNSBuf->uxPayloadSize ); in DNS_ReadReply()
/FreeRTOS-Plus-TCP-v3.1.0/source/include/
DFreeRTOS_DNS_Globals.h239 size_t uxPayloadSize; /**< Total buffer size */ member