Home
last modified time | relevance | path

Searched refs:ucNextHeader (Results 1 – 25 of 33) sorted by relevance

12

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessIPPacket_IPv6/eHandleIPv6ExtensionHeaders/
DeHandleIPv6ExtensionHeaders_harness.c39 __CPROVER_assume( pxIPv6Packet->xIPHeader.ucNextHeader == ipIPv6_EXT_HEADER_HOP_BY_HOP || in harness()
40 … pxIPv6Packet->xIPHeader.ucNextHeader == ipIPv6_EXT_HEADER_DESTINATION_OPTIONS || in harness()
41 pxIPv6Packet->xIPHeader.ucNextHeader == ipIPv6_EXT_HEADER_ROUTING_HEADER || in harness()
42 pxIPv6Packet->xIPHeader.ucNextHeader == ipIPv6_EXT_HEADER_FRAGMENT_HEADER || in harness()
43 pxIPv6Packet->xIPHeader.ucNextHeader == ipIPv6_EXT_HEADER_AUTHEN_HEADER || in harness()
44 pxIPv6Packet->xIPHeader.ucNextHeader == ipIPv6_EXT_HEADER_SECURE_PAYLOAD || in harness()
45 pxIPv6Packet->xIPHeader.ucNextHeader == ipIPv6_EXT_HEADER_MOBILITY_HEADER ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_IPv6_Utils.c190 uint8_t ucNextHeader = 0U; in usGetExtensionHeaderLength() local
203 ucCurrentHeader = pxIPPacket_IPv6->xIPHeader.ucNextHeader; in usGetExtensionHeaderLength()
210 ucNextHeader = pucEthernetBuffer[ uxIndex ]; in usGetExtensionHeaderLength()
212 xCurrentOrder = xGetExtensionOrder( ucCurrentHeader, ucNextHeader ); in usGetExtensionHeaderLength()
230 if( ( ucNextHeader == ipPROTOCOL_TCP ) || in usGetExtensionHeaderLength()
231 ( ucNextHeader == ipPROTOCOL_UDP ) || in usGetExtensionHeaderLength()
232 ( ucNextHeader == ipPROTOCOL_ICMP_IPv6 ) ) in usGetExtensionHeaderLength()
234 FreeRTOS_debug_printf( ( "Stop at header %u\n", ucNextHeader ) ); in usGetExtensionHeaderLength()
237 *pucProtocol = ucNextHeader; in usGetExtensionHeaderLength()
241 xNextOrder = xGetExtensionOrder( ucNextHeader, pucEthernetBuffer[ uxIndex ] ); in usGetExtensionHeaderLength()
[all …]
DFreeRTOS_IPv6.c75 static BaseType_t xIsExtHeader( uint8_t ucNextHeader );
95 uint8_t ucNextHeader; in xCheckIPv6SizeFields() local
142 ucNextHeader = pxIPv6Packet->xIPHeader.ucNextHeader; in xCheckIPv6SizeFields()
144 while( xIsExtHeader( ucNextHeader ) ) in xCheckIPv6SizeFields()
150 ucNextHeader = pxExtHeader->ucNextHeader; in xCheckIPv6SizeFields()
165 if( ucNextHeader == ( uint8_t ) ipPROTOCOL_UDP ) in xCheckIPv6SizeFields()
170 else if( ucNextHeader == ( uint8_t ) ipPROTOCOL_TCP ) in xCheckIPv6SizeFields()
174 else if( ucNextHeader == ( uint8_t ) ipPROTOCOL_ICMP_IPv6 ) in xCheckIPv6SizeFields()
217 static BaseType_t xIsExtHeader( uint8_t ucNextHeader ) in xIsExtHeader() argument
221 switch( ucNextHeader ) in xIsExtHeader()
[all …]
DFreeRTOS_UDP_IPv6.c264 pxIPHeader_IPv6->ucNextHeader = ipPROTOCOL_ICMP_IPv6; in vProcessGeneratedUDPPacket_IPv6()
280 pxIPHeader_IPv6->ucNextHeader = ipPROTOCOL_UDP; in vProcessGeneratedUDPPacket_IPv6()
328 pxIPHeader_IPv6->ucNextHeader = ipPROTOCOL_UDP; in vProcessGeneratedUDPPacket_IPv6()
DFreeRTOS_ARP.c562 uint8_t ucNextHeader = pxIPHeader->ucNextHeader; in xCheckRequiresARPResolution() local
564 if( ( ucNextHeader == ipPROTOCOL_TCP ) || in xCheckRequiresARPResolution()
565 ( ucNextHeader == ipPROTOCOL_UDP ) ) in xCheckRequiresARPResolution()
DFreeRTOS_TCP_Transmission_IPv6.c434 pxIPHeader->ucNextHeader = ( uint8_t ) ipPROTOCOL_TCP; in prvTCPPrepareConnect_IPV6()
DFreeRTOS_ND.c619 pxICMPPacket->xIPHeader.ucNextHeader = ipPROTOCOL_ICMP_IPv6; in vNDSendNeighbourSolicitation()
1173 pxICMPPacket->xIPHeader.ucNextHeader = ipPROTOCOL_ICMP_IPv6; in FreeRTOS_OutputAdvertiseIPv6()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/IPUtils/usGenerateProtocolChecksum_IPv6/
DusGenerateProtocolChecksum_IPv6_harness.c72 uint8_t ucNextHeader ) in xGetExtensionOrder() argument
90 uint8_t ucNextHeader = 0U; in prvPrepareExtensionHeaders() local
97 ucCurrentHeader = pxIPPacket_IPv6->xIPHeader.ucNextHeader; in prvPrepareExtensionHeaders()
104 ucNextHeader = pucEthernetBuffer[ uxIndex ]; in prvPrepareExtensionHeaders()
118 if( ( ucNextHeader == ipPROTOCOL_TCP ) || in prvPrepareExtensionHeaders()
119 ( ucNextHeader == ipPROTOCOL_UDP ) || in prvPrepareExtensionHeaders()
120 ( ucNextHeader == ipPROTOCOL_ICMP_IPv6 ) ) in prvPrepareExtensionHeaders()
127 if( xIsExtensionHeader( ucNextHeader ) == pdFALSE ) in prvPrepareExtensionHeaders()
134 ucCurrentHeader = ucNextHeader; in prvPrepareExtensionHeaders()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv6_ConfigDriverCheckChecksum/
DFreeRTOS_IPv6_ConfigDriverCheckChecksum_utest.c82 pxIPPacket->xIPHeader.ucNextHeader = ipIPv6_EXT_HEADER_HOP_BY_HOP; in test_prvAllowIPPacketIPv6_xCheckIPv6SizeFields_valid_ext_header_length()
168 pxIPPacket->xIPHeader.ucNextHeader = ipIPv6_EXT_HEADER_HOP_BY_HOP; in test_prvAllowIPPacketIPv6_xCheckIPv6SizeFields_large_ext_header_length()
187 pxIPPacket->xIPHeader.ucNextHeader = 0xFF; in test_prvAllowIPPacketIPv6_xCheckIPv6SizeFields_unknown_procotol()
204 pxIPPacket->xIPHeader.ucNextHeader = ipPROTOCOL_TCP; in test_prvAllowIPPacketIPv6_xCheckIPv6SizeFields_length_less_than_TCP_min_requirement()
223 pxIPPacket->xIPHeader.ucNextHeader = ipPROTOCOL_UDP; in test_prvAllowIPPacketIPv6_xCheckIPv6SizeFields_length_less_than_UDP_min_requirement()
242 pxIPPacket->xIPHeader.ucNextHeader = ipPROTOCOL_ICMP_IPv6; in test_prvAllowIPPacketIPv6_xCheckIPv6SizeFields_length_less_than_ICMP_min_requirement()
DFreeRTOS_IPv6_ConfigDriverCheckChecksum_stubs.c100 pxTCPPacket->xIPHeader.ucNextHeader = ipPROTOCOL_TCP; in prvInitializeNetworkDescriptor()
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
DFreeRTOS_IPv6_Private.h143 uint8_t ucNextHeader; /**< Next header: TCP, UDP, or ICMP. 6 + 1 = 7 */ member
154 …uint8_t ucNextHeader; /**< Next header: TCP, UDP, or ICMP. … member
DFreeRTOS_IPv6.h113 uint8_t ucNextHeader );
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_DiffConfig1/
DIP_DiffConfig1_list_macros.h84 uint8_t ucNextHeader );
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_DiffConfig2/
DIP_DiffConfig2_list_macros.h107 uint8_t ucNextHeader );
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_DiffConfig3/
DIP_DiffConfig3_list_macros.h108 uint8_t ucNextHeader );
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_DiffConfig/
DIP_DiffConfig_list_macros.h115 uint8_t ucNextHeader );
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_Utils/
DFreeRTOS_IP_Utils_stubs.c113 pxSet->ucProtocol = pxIPPacket->xIPHeader.ucNextHeader; in prvChecksumIPv6Checks_Valid()
DFreeRTOS_IP_Utils_utest.c1795 pxIPPacket->xIPHeader.ucNextHeader = ipPROTOCOL_ICMP_IPv6; in test_usGenerateProtocolChecksum_ICMPv6IncomingCorrectCRC()
1829 pxIPPacket->xIPHeader.ucNextHeader = ipPROTOCOL_ICMP_IPv6; in test_usGenerateProtocolChecksum_ICMPv6IncomingIncorrectCRC()
1864 pxIPPacket->xIPHeader.ucNextHeader = ipPROTOCOL_UDP; in test_usGenerateProtocolChecksum_UDPv6IncomingCorrectCRC()
1897 pxIPPacket->xIPHeader.ucNextHeader = ipPROTOCOL_UDP; in test_usGenerateProtocolChecksum_UDPv6IncomingIncorrectCRC()
1931 pxIPPacket->xIPHeader.ucNextHeader = ipPROTOCOL_TCP; in test_usGenerateProtocolChecksum_TCPv6IncomingCorrectCRC()
1965 pxIPPacket->xIPHeader.ucNextHeader = ipPROTOCOL_TCP; in test_usGenerateProtocolChecksum_TCPv6IncomingIncorrectCRC()
2000 pxIPPacket->xIPHeader.ucNextHeader = ipPROTOCOL_TCP; in test_usGenerateProtocolChecksum_TCPv6OutgoingCorrectCRC()
2033 pxIPPacket->xIPHeader.ucNextHeader = 0xFF; in test_usGenerateProtocolChecksum_IPv6UnknownProtocol()
2065 pxIPPacket->xIPHeader.ucNextHeader = ipPROTOCOL_ICMP_IPv6; in test_usGenerateProtocolChecksum_ICMPv6LessHeaderLength()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv6_Utils/
DFreeRTOS_IPv6_Utils_stubs.c127 pxIPv6Header->ucNextHeader = ipIPv6_EXT_HEADER_HOP_BY_HOP; in prvInitializeNetworkDescriptorWithExtensionHeader()
DFreeRTOS_IPv6_Utils_utest.c189 pxIPv6Header->ucNextHeader = ipIPv6_EXT_HEADER_HOP_BY_HOP; in test_prvChecksumIPv6Checks_LargeExtensionHeader()
222 pxIPv6Header->ucNextHeader = ipIPv6_EXT_HEADER_ROUTING_HEADER; in test_prvChecksumIPv6Checks_HopByHopInWrongOrder()
629 pxIPv6Header->ucNextHeader = ipIPv6_EXT_HEADER_HOP_BY_HOP; in test_usGetExtensionHeaderLength_InvalidHeader()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IPv6/
DFreeRTOS_IPv6_stubs.c152 pxIPv6Header->ucNextHeader = ipIPv6_EXT_HEADER_HOP_BY_HOP; in prvInitializeNetworkDescriptorWithExtensionHeader()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_Utils_DiffConfig/
DFreeRTOS_IP_Utils_DiffConfig_utest.c294 pxIPPacket->xIPHeader.ucNextHeader = ipPROTOCOL_UDP; in test_usGenerateProtocolChecksum_UDPv6IncomingPacket()
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/DriverSAM/
DNetworkInterface.c940 if( ( pxIPHeader->ucNextHeader != ipPROTOCOL_UDP ) && in vGMACGenerateChecksum()
941 ( pxIPHeader->ucNextHeader != ipPROTOCOL_TCP ) ) in vGMACGenerateChecksum()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_UDP_IPv6/
DFreeRTOS_UDP_IPv6_utest.c1067 TEST_ASSERT_EQUAL( ipPROTOCOL_ICMP_IPv6, pxICMPv6Packet->xIPHeader.ucNextHeader ); in test_vProcessGeneratedUDPPacket_IPv6_ICMPPingCacheHit()
1100 TEST_ASSERT_EQUAL( ipPROTOCOL_UDP, pxUDPv6Packet->xIPHeader.ucNextHeader ); in test_vProcessGeneratedUDPPacket_IPv6_UDPv6CacheHit()
1141 TEST_ASSERT_EQUAL( ipPROTOCOL_UDP, pxUDPv6Packet->xIPHeader.ucNextHeader ); in test_vProcessGeneratedUDPPacket_IPv6_UDPv6CacheHitLessBufferLength()
1175 TEST_ASSERT_EQUAL( ipPROTOCOL_UDP, pxUDPv6Packet->xIPHeader.ucNextHeader ); in test_vProcessGeneratedUDPPacket_IPv6_UDPv6CacheHitNoEndPoint()
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/Zynq/
DNetworkInterface.c402 ( pxICMPPacket->xIPHeader.ucNextHeader == ipPROTOCOL_ICMP_IPv6 ) ) in xZynqNetworkInterfaceOutput()

12