Home
last modified time | relevance | path

Searched refs:ipIPv6_EXT_HEADER_ROUTING_HEADER (Results 1 – 8 of 8) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv6_Utils/
DFreeRTOS_IPv6_Utils_utest.c190 pxNetworkBuffer->pucEthernetBuffer[ uxIndex ] = ipIPv6_EXT_HEADER_ROUTING_HEADER; in test_prvChecksumIPv6Checks_LargeExtensionHeader()
200 …xtensionOrder_ExpectAndReturn( ipIPv6_EXT_HEADER_HOP_BY_HOP, ipIPv6_EXT_HEADER_ROUTING_HEADER, 1 ); in test_prvChecksumIPv6Checks_LargeExtensionHeader()
222 pxIPv6Header->ucNextHeader = ipIPv6_EXT_HEADER_ROUTING_HEADER; in test_prvChecksumIPv6Checks_HopByHopInWrongOrder()
232 xGetExtensionOrder_ExpectAndReturn( ipIPv6_EXT_HEADER_ROUTING_HEADER, 0U, 7 ); in test_prvChecksumIPv6Checks_HopByHopInWrongOrder()
233 …xGetExtensionOrder_ExpectAndReturn( ipIPv6_EXT_HEADER_ROUTING_HEADER, ipIPv6_EXT_HEADER_HOP_BY_HOP… in test_prvChecksumIPv6Checks_HopByHopInWrongOrder()
478 …xtensionOrder_ExpectAndReturn( ipIPv6_EXT_HEADER_HOP_BY_HOP, ipIPv6_EXT_HEADER_ROUTING_HEADER, 2 ); in test_usGetExtensionHeaderLength_TCPExtensionSuccess()
479 …xGetExtensionOrder_ExpectAndReturn( ipIPv6_EXT_HEADER_ROUTING_HEADER, ipIPv6_EXT_HEADER_FRAGMENT_H… in test_usGetExtensionHeaderLength_TCPExtensionSuccess()
480 …xGetExtensionOrder_ExpectAndReturn( ipIPv6_EXT_HEADER_ROUTING_HEADER, ipIPv6_EXT_HEADER_FRAGMENT_H… in test_usGetExtensionHeaderLength_TCPExtensionSuccess()
517 …xtensionOrder_ExpectAndReturn( ipIPv6_EXT_HEADER_HOP_BY_HOP, ipIPv6_EXT_HEADER_ROUTING_HEADER, 2 ); in test_usGetExtensionHeaderLength_UDPExtensionSuccess()
518 …xGetExtensionOrder_ExpectAndReturn( ipIPv6_EXT_HEADER_ROUTING_HEADER, ipIPv6_EXT_HEADER_FRAGMENT_H… in test_usGetExtensionHeaderLength_UDPExtensionSuccess()
[all …]
DFreeRTOS_IPv6_Utils_stubs.c129 pcNetworkBuffer[ uxIndex ] = ipIPv6_EXT_HEADER_ROUTING_HEADER; in prvInitializeNetworkDescriptorWithExtensionHeader()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessIPPacket_IPv6/eHandleIPv6ExtensionHeaders/
DeHandleIPv6ExtensionHeaders_harness.c41 pxIPv6Packet->xIPHeader.ucNextHeader == ipIPv6_EXT_HEADER_ROUTING_HEADER || in harness()
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
DFreeRTOS_IPv6.h64 #define ipIPv6_EXT_HEADER_ROUTING_HEADER 43U macro
/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_IPv6.c224 case ipIPv6_EXT_HEADER_ROUTING_HEADER: in xIsExtHeader()
573 if( ucNextHeader == ipIPv6_EXT_HEADER_ROUTING_HEADER ) in xGetExtensionOrder()
580 case ipIPv6_EXT_HEADER_ROUTING_HEADER: in xGetExtensionOrder()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/IPUtils/usGenerateProtocolChecksum_IPv6/
DusGenerateProtocolChecksum_IPv6_harness.c58 case ipIPv6_EXT_HEADER_ROUTING_HEADER: in xIsExtensionHeader()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv6/
DFreeRTOS_IPv6_stubs.c154 pcNetworkBuffer[ uxIndex ] = ipIPv6_EXT_HEADER_ROUTING_HEADER; in prvInitializeNetworkDescriptorWithExtensionHeader()
DFreeRTOS_IPv6_utest.c698 …rn = xGetExtensionOrder( ipIPv6_EXT_HEADER_DESTINATION_OPTIONS, ipIPv6_EXT_HEADER_ROUTING_HEADER ); in test_xGetExtensionOrder()
701 xReturn = xGetExtensionOrder( ipIPv6_EXT_HEADER_ROUTING_HEADER, 0U ); in test_xGetExtensionOrder()