Searched refs:ipIPv6_EXT_HEADER_SECURE_PAYLOAD (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 | 481 …ionOrder_ExpectAndReturn( ipIPv6_EXT_HEADER_FRAGMENT_HEADER, ipIPv6_EXT_HEADER_SECURE_PAYLOAD, 2 ); in test_usGetExtensionHeaderLength_TCPExtensionSuccess()
482 …ionOrder_ExpectAndReturn( ipIPv6_EXT_HEADER_FRAGMENT_HEADER, ipIPv6_EXT_HEADER_SECURE_PAYLOAD, 2 ); in test_usGetExtensionHeaderLength_TCPExtensionSuccess()
483 …xGetExtensionOrder_ExpectAndReturn( ipIPv6_EXT_HEADER_SECURE_PAYLOAD, ipIPv6_EXT_HEADER_AUTHEN_HEA… in test_usGetExtensionHeaderLength_TCPExtensionSuccess()
484 …xGetExtensionOrder_ExpectAndReturn( ipIPv6_EXT_HEADER_SECURE_PAYLOAD, ipIPv6_EXT_HEADER_AUTHEN_HEA… in test_usGetExtensionHeaderLength_TCPExtensionSuccess()
520 …ionOrder_ExpectAndReturn( ipIPv6_EXT_HEADER_FRAGMENT_HEADER, ipIPv6_EXT_HEADER_SECURE_PAYLOAD, 2 ); in test_usGetExtensionHeaderLength_UDPExtensionSuccess()
521 …ionOrder_ExpectAndReturn( ipIPv6_EXT_HEADER_FRAGMENT_HEADER, ipIPv6_EXT_HEADER_SECURE_PAYLOAD, 2 ); in test_usGetExtensionHeaderLength_UDPExtensionSuccess()
522 …xGetExtensionOrder_ExpectAndReturn( ipIPv6_EXT_HEADER_SECURE_PAYLOAD, ipIPv6_EXT_HEADER_AUTHEN_HEA… in test_usGetExtensionHeaderLength_UDPExtensionSuccess()
523 …xGetExtensionOrder_ExpectAndReturn( ipIPv6_EXT_HEADER_SECURE_PAYLOAD, ipIPv6_EXT_HEADER_AUTHEN_HEA… in test_usGetExtensionHeaderLength_UDPExtensionSuccess()
559 …ionOrder_ExpectAndReturn( ipIPv6_EXT_HEADER_FRAGMENT_HEADER, ipIPv6_EXT_HEADER_SECURE_PAYLOAD, 2 ); in test_usGetExtensionHeaderLength_ICMPv6ExtensionSuccess()
560 …ionOrder_ExpectAndReturn( ipIPv6_EXT_HEADER_FRAGMENT_HEADER, ipIPv6_EXT_HEADER_SECURE_PAYLOAD, 2 ); in test_usGetExtensionHeaderLength_ICMPv6ExtensionSuccess()
[all …]
|
| D | FreeRTOS_IPv6_Utils_stubs.c | 135 pcNetworkBuffer[ uxIndex ] = ipIPv6_EXT_HEADER_SECURE_PAYLOAD; in prvInitializeNetworkDescriptorWithExtensionHeader()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessIPPacket_IPv6/eHandleIPv6ExtensionHeaders/ |
| D | eHandleIPv6ExtensionHeaders_harness.c | 44 pxIPv6Packet->xIPHeader.ucNextHeader == ipIPv6_EXT_HEADER_SECURE_PAYLOAD || in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
| D | FreeRTOS_IPv6.h | 66 #define ipIPv6_EXT_HEADER_SECURE_PAYLOAD 50U macro
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/IPUtils/usGenerateProtocolChecksum_IPv6/ |
| D | usGenerateProtocolChecksum_IPv6_harness.c | 61 case ipIPv6_EXT_HEADER_SECURE_PAYLOAD: in xIsExtensionHeader()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_IPv6.c | 226 case ipIPv6_EXT_HEADER_SECURE_PAYLOAD: in xIsExtHeader()
592 case ipIPv6_EXT_HEADER_SECURE_PAYLOAD: in xGetExtensionOrder()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv6/ |
| D | FreeRTOS_IPv6_stubs.c | 160 pcNetworkBuffer[ uxIndex ] = ipIPv6_EXT_HEADER_SECURE_PAYLOAD; in prvInitializeNetworkDescriptorWithExtensionHeader()
|
| D | FreeRTOS_IPv6_utest.c | 710 xReturn = xGetExtensionOrder( ipIPv6_EXT_HEADER_SECURE_PAYLOAD, 0U ); in test_xGetExtensionOrder()
|
