Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/IPUtils/usGenerateProtocolChecksum_IPv6/
DusGenerateProtocolChecksum_IPv6_harness.c50 BaseType_t xIsExtensionHeader( uint8_t ucCurrentHeader ) in xIsExtensionHeader() argument
54 switch( ucCurrentHeader ) in xIsExtensionHeader()
94 uint8_t ucCurrentHeader; in prvPrepareExtensionHeaders() local
97 ucCurrentHeader = pxIPPacket_IPv6->xIPHeader.ucNextHeader; in prvPrepareExtensionHeaders()
100 if( xIsExtensionHeader( ucCurrentHeader ) != pdFALSE ) in prvPrepareExtensionHeaders()
134 ucCurrentHeader = ucNextHeader; in prvPrepareExtensionHeaders()
/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_IPv6_Utils.c188 uint8_t ucCurrentHeader; in usGetExtensionHeaderLength() local
203 ucCurrentHeader = pxIPPacket_IPv6->xIPHeader.ucNextHeader; in usGetExtensionHeaderLength()
206 if( xGetExtensionOrder( ucCurrentHeader, 0U ) > 0 ) in usGetExtensionHeaderLength()
212 xCurrentOrder = xGetExtensionOrder( ucCurrentHeader, ucNextHeader ); in usGetExtensionHeaderLength()
244 ucCurrentHeader, in usGetExtensionHeaderLength()
271 ucCurrentHeader = ucNextHeader; in usGetExtensionHeaderLength()
277 *pucProtocol = ucCurrentHeader; in usGetExtensionHeaderLength()