Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/IPUtils/usGenerateProtocolChecksum_IPv6/
DusGenerateProtocolChecksum_IPv6_harness.c92 size_t uxHopSize = 0U; in prvPrepareExtensionHeaders() local
107 uxHopSize = ( size_t ) pucEthernetBuffer[ uxIndex + 1U ]; in prvPrepareExtensionHeaders()
109 uxHopSize = ( uxHopSize * 8U ) + 8U; in prvPrepareExtensionHeaders()
111 if( ( uxIndex + uxHopSize ) >= uxBufferLength ) in prvPrepareExtensionHeaders()
116 uxIndex = uxIndex + uxHopSize; in prvPrepareExtensionHeaders()
/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_IPv6_Utils.c192 size_t uxHopSize = 0U; in usGetExtensionHeaderLength() local
218 uxHopSize = ( size_t ) pucEthernetBuffer[ uxIndex + 1U ]; in usGetExtensionHeaderLength()
220 uxHopSize = ( uxHopSize * 8U ) + 8U; in usGetExtensionHeaderLength()
222 if( ( uxIndex + uxHopSize ) >= uxBufferLength ) in usGetExtensionHeaderLength()
224 … + %lu of extension header is larger than buffer size %lu \n", uxIndex, uxHopSize, uxBufferLength … in usGetExtensionHeaderLength()
228 uxIndex = uxIndex + uxHopSize; in usGetExtensionHeaderLength()