Searched refs:ipIPv6_EXT_HEADER_MOBILITY_HEADER (Results 1 – 8 of 8) sorted by relevance
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv6_Utils/ |
| D | FreeRTOS_IPv6_Utils_utest.c | 487 …der_ExpectAndReturn( ipIPv6_EXT_HEADER_DESTINATION_OPTIONS, ipIPv6_EXT_HEADER_MOBILITY_HEADER, 2 ); in test_usGetExtensionHeaderLength_TCPExtensionSuccess()
488 …der_ExpectAndReturn( ipIPv6_EXT_HEADER_DESTINATION_OPTIONS, ipIPv6_EXT_HEADER_MOBILITY_HEADER, 2 ); in test_usGetExtensionHeaderLength_TCPExtensionSuccess()
489 xGetExtensionOrder_ExpectAndReturn( ipIPv6_EXT_HEADER_MOBILITY_HEADER, ipPROTOCOL_TCP, 2 ); in test_usGetExtensionHeaderLength_TCPExtensionSuccess()
490 xGetExtensionOrder_ExpectAndReturn( ipIPv6_EXT_HEADER_MOBILITY_HEADER, ipPROTOCOL_TCP, 2 ); in test_usGetExtensionHeaderLength_TCPExtensionSuccess()
526 …der_ExpectAndReturn( ipIPv6_EXT_HEADER_DESTINATION_OPTIONS, ipIPv6_EXT_HEADER_MOBILITY_HEADER, 2 ); in test_usGetExtensionHeaderLength_UDPExtensionSuccess()
527 …der_ExpectAndReturn( ipIPv6_EXT_HEADER_DESTINATION_OPTIONS, ipIPv6_EXT_HEADER_MOBILITY_HEADER, 2 ); in test_usGetExtensionHeaderLength_UDPExtensionSuccess()
528 xGetExtensionOrder_ExpectAndReturn( ipIPv6_EXT_HEADER_MOBILITY_HEADER, ipPROTOCOL_UDP, 2 ); in test_usGetExtensionHeaderLength_UDPExtensionSuccess()
529 xGetExtensionOrder_ExpectAndReturn( ipIPv6_EXT_HEADER_MOBILITY_HEADER, ipPROTOCOL_UDP, 2 ); in test_usGetExtensionHeaderLength_UDPExtensionSuccess()
565 …der_ExpectAndReturn( ipIPv6_EXT_HEADER_DESTINATION_OPTIONS, ipIPv6_EXT_HEADER_MOBILITY_HEADER, 2 ); in test_usGetExtensionHeaderLength_ICMPv6ExtensionSuccess()
566 …der_ExpectAndReturn( ipIPv6_EXT_HEADER_DESTINATION_OPTIONS, ipIPv6_EXT_HEADER_MOBILITY_HEADER, 2 ); in test_usGetExtensionHeaderLength_ICMPv6ExtensionSuccess()
[all …]
|
| D | FreeRTOS_IPv6_Utils_stubs.c | 144 pcNetworkBuffer[ uxIndex ] = ipIPv6_EXT_HEADER_MOBILITY_HEADER; in prvInitializeNetworkDescriptorWithExtensionHeader()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessIPPacket_IPv6/eHandleIPv6ExtensionHeaders/ |
| D | eHandleIPv6ExtensionHeaders_harness.c | 45 pxIPv6Packet->xIPHeader.ucNextHeader == ipIPv6_EXT_HEADER_MOBILITY_HEADER ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
| D | FreeRTOS_IPv6.h | 70 #define ipIPv6_EXT_HEADER_MOBILITY_HEADER 135U macro
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/IPUtils/usGenerateProtocolChecksum_IPv6/ |
| D | usGenerateProtocolChecksum_IPv6_harness.c | 62 case ipIPv6_EXT_HEADER_MOBILITY_HEADER: in xIsExtensionHeader()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_IPv6.c | 229 case ipIPv6_EXT_HEADER_MOBILITY_HEADER: in xIsExtHeader()
597 case ipIPv6_EXT_HEADER_MOBILITY_HEADER: in xGetExtensionOrder()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv6/ |
| D | FreeRTOS_IPv6_stubs.c | 169 pcNetworkBuffer[ uxIndex ] = ipIPv6_EXT_HEADER_MOBILITY_HEADER; in prvInitializeNetworkDescriptorWithExtensionHeader()
|
| D | FreeRTOS_IPv6_utest.c | 713 xReturn = xGetExtensionOrder( ipIPv6_EXT_HEADER_MOBILITY_HEADER, 0U ); in test_xGetExtensionOrder()
|
