Home
last modified time | relevance | path

Searched refs:pxICMPPacket (Results 1 – 12 of 12) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_ICMP/
DFreeRTOS_ICMP_utest.c104 ICMPPacket_t * pxICMPPacket; in test_ProcessICMPPacket_EchoRequest() local
113 pxICMPPacket = ( ICMPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_ProcessICMPPacket_EchoRequest()
114 pxICMPHeader = ( ( ICMPHeader_t * ) &( pxICMPPacket->xICMPHeader ) ); in test_ProcessICMPPacket_EchoRequest()
115 pxIPHeader = &( pxICMPPacket->xIPHeader ); in test_ProcessICMPPacket_EchoRequest()
117 pxICMPPacket->xICMPHeader.ucTypeOfMessage = ipICMP_ECHO_REQUEST; in test_ProcessICMPPacket_EchoRequest()
141 ICMPPacket_t * pxICMPPacket; in test_ProcessICMPPacket_UnknownICMPPacket() local
149 pxICMPPacket = ( ICMPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_ProcessICMPPacket_UnknownICMPPacket()
152 pxICMPPacket->xICMPHeader.ucTypeOfMessage = ipICMP_ECHO_REQUEST + 2; in test_ProcessICMPPacket_UnknownICMPPacket()
164 ICMPPacket_t * pxICMPPacket; in test_ProcessICMPPacket_ICMPEchoReply_NULLData() local
172 pxICMPPacket = ( ICMPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_ProcessICMPPacket_ICMPEchoReply_NULLData()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_ICMP.c60 static eFrameProcessingResult_t prvProcessICMPEchoRequest( ICMPPacket_t * const pxICMPPacket,
69 static void prvProcessICMPEchoReply( ICMPPacket_t * const pxICMPPacket );
99 ICMPPacket_t * pxICMPPacket = ( ( ICMPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer ); in ProcessICMPPacket() local
101 switch( pxICMPPacket->xICMPHeader.ucTypeOfMessage ) in ProcessICMPPacket()
106 eReturn = prvProcessICMPEchoRequest( pxICMPPacket, pxNetworkBuffer ); in ProcessICMPPacket()
114 prvProcessICMPEchoReply( pxICMPPacket ); in ProcessICMPPacket()
140 static eFrameProcessingResult_t prvProcessICMPEchoRequest( ICMPPacket_t * const pxICMPPacket, in prvProcessICMPEchoRequest() argument
147 pxICMPHeader = &( pxICMPPacket->xICMPHeader ); in prvProcessICMPEchoRequest()
148 pxIPHeader = &( pxICMPPacket->xIPHeader ); in prvProcessICMPEchoRequest()
181 …( void ) usGenerateProtocolChecksum( ( uint8_t * ) pxICMPPacket, pxNetworkBuffer->xDataLength, pdT… in prvProcessICMPEchoRequest()
[all …]
DFreeRTOS_ND.c526 … ICMPPacket_IPv6_t * pxICMPPacket = ( ( ICMPPacket_IPv6_t * ) pxNetworkBuffer->pucEthernetBuffer ); in prvReturnICMP_IPv6() local
528 …( void ) memcpy( pxICMPPacket->xIPHeader.xDestinationAddress.ucBytes, pxICMPPacket->xIPHeader.xSou… in prvReturnICMP_IPv6()
529 …( void ) memcpy( pxICMPPacket->xIPHeader.xSourceAddress.ucBytes, pxEndPoint->ipv6_settings.xIPAddr… in prvReturnICMP_IPv6()
530 pxICMPPacket->xIPHeader.usPayloadLength = FreeRTOS_htons( uxICMPSize ); in prvReturnICMP_IPv6()
544 pxICMPPacket->xICMPHeaderIPv6.usChecksum = 0; in prvReturnICMP_IPv6()
569 ICMPPacket_IPv6_t * pxICMPPacket; in vNDSendNeighbourSolicitation() local
596 pxICMPPacket = ( ( ICMPPacket_IPv6_t * ) pxDescriptor->pucEthernetBuffer ); in vNDSendNeighbourSolicitation()
597 pxICMPHeader_IPv6 = ( ( ICMPHeader_IPv6_t * ) &( pxICMPPacket->xICMPHeaderIPv6 ) ); in vNDSendNeighbourSolicitation()
610 …( void ) memcpy( pxICMPPacket->xEthernetHeader.xSourceAddress.ucBytes, xMultiCastMacAddress.ucByte… in vNDSendNeighbourSolicitation()
611 …( void ) memcpy( pxICMPPacket->xEthernetHeader.xDestinationAddress.ucBytes, pxEndPoint->xMACAddres… in vNDSendNeighbourSolicitation()
[all …]
DFreeRTOS_RA.c133 ICMPPacket_IPv6_t * pxICMPPacket; in vNDSendRouterSolicitation() local
170 pxICMPPacket = ( ( ICMPPacket_IPv6_t * ) pxDescriptor->pucEthernetBuffer ); in vNDSendRouterSolicitation()
171 …xRASolicitationRequest = ( ( ICMPRouterSolicitation_IPv6_t * ) &( pxICMPPacket->xICMPHeaderIPv6 ) … in vNDSendRouterSolicitation()
178 …( void ) memcpy( pxICMPPacket->xEthernetHeader.xSourceAddress.ucBytes, xMultiCastMacAddress.ucByte… in vNDSendRouterSolicitation()
179 …( void ) memcpy( pxICMPPacket->xEthernetHeader.xDestinationAddress.ucBytes, pxEndPoint->xMACAddres… in vNDSendRouterSolicitation()
180 pxICMPPacket->xEthernetHeader.usFrameType = ipIPv6_FRAME_TYPE; in vNDSendRouterSolicitation()
183 pxICMPPacket->xIPHeader.ucVersionTrafficClass = raDEFAULT_VERSION_TRAFFIC_CLASS; in vNDSendRouterSolicitation()
184 pxICMPPacket->xIPHeader.ucTrafficClassFlow = 0U; in vNDSendRouterSolicitation()
185 pxICMPPacket->xIPHeader.usFlowLabel = 0U; in vNDSendRouterSolicitation()
186 …pxICMPPacket->xIPHeader.usPayloadLength = FreeRTOS_htons( sizeof( ICMPRouterSolicitation_IPv6_t ) … in vNDSendRouterSolicitation()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ICMP/ProcessICMPPacket/
DProcessICMPPacket_harness.c44 … __CPROVER_file_local_FreeRTOS_ICMP_c_prvProcessICMPEchoRequest( ICMPPacket_t * const pxICMPPacket, in __CPROVER_file_local_FreeRTOS_ICMP_c_prvProcessICMPEchoRequest() argument
51 __CPROVER_assert( pxICMPPacket != NULL, "pxICMPPacket != NULL" ); in __CPROVER_file_local_FreeRTOS_ICMP_c_prvProcessICMPEchoRequest()
62 ICMPPacket_t * const pxICMPPacket = safeMalloc( sizeof( ICMPPacket_t ) ); in harness() local
64 __CPROVER_assume( pxICMPPacket != NULL ); in harness()
67 xNetworkBuffer.pucEthernetBuffer = pxICMPPacket; in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ICMP/ProcessICMPEchoRequest/
DProcessICMPEchoRequest_harness.c69 … __CPROVER_file_local_FreeRTOS_ICMP_c_prvProcessICMPEchoRequest( ICMPPacket_t * const pxICMPPacket,
76 ICMPPacket_t * pxICMPPacket = safeMalloc( sizeof( ICMPPacket_t ) ); in harness() local
78 __CPROVER_assume( pxICMPPacket != NULL ); in harness()
81 xNetworkBuffer.pucEthernetBuffer = pxICMPPacket; in harness()
83 __CPROVER_file_local_FreeRTOS_ICMP_c_prvProcessICMPEchoRequest( pxICMPPacket, &xNetworkBuffer ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_RA/
DFreeRTOS_RA_utest.c127 ICMPPacket_IPv6_t * pxICMPPacket, xICMPPacket; in test_vNDSendRouterSolicitation_xHasLocal0() local
134 pxICMPPacket = &xICMPPacket; in test_vNDSendRouterSolicitation_xHasLocal0()
139 pxICMPPacket->xIPHeader = xIPHeader; in test_vNDSendRouterSolicitation_xHasLocal0()
142 memset( &pxICMPPacket->xIPHeader, 0, sizeof( IPHeader_IPv6_t ) ); in test_vNDSendRouterSolicitation_xHasLocal0()
166 ICMPPacket_IPv6_t * pxICMPPacket, xICMPPacket; in test_vNDSendRouterSolicitation_xHasLocal1() local
174 pxICMPPacket = &xICMPPacket; in test_vNDSendRouterSolicitation_xHasLocal1()
179 pxICMPPacket->xIPHeader = xIPHeader; in test_vNDSendRouterSolicitation_xHasLocal1()
182 memset( &pxICMPPacket->xIPHeader, 0, sizeof( IPHeader_IPv6_t ) ); in test_vNDSendRouterSolicitation_xHasLocal1()
207 ICMPPacket_IPv6_t * pxICMPPacket, xICMPPacket; in test_vNDSendRouterSolicitation_NullDesc() local
215 pxICMPPacket = &xICMPPacket; in test_vNDSendRouterSolicitation_NullDesc()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_ND/
DFreeRTOS_ND_utest.c747 ICMPPacket_IPv6_t xICMPPacket, * pxICMPPacket = &xICMPPacket; in test_vNDAgeCache_NSHappyPath() local
748 ICMPHeader_IPv6_t * pxICMPHeader_IPv6 = &( pxICMPPacket->xICMPHeaderIPv6 ); in test_vNDAgeCache_NSHappyPath()
768 TEST_ASSERT_EQUAL( pxICMPPacket->xIPHeader.ucVersionTrafficClass, 0x60 ); in test_vNDAgeCache_NSHappyPath()
769 TEST_ASSERT_EQUAL( pxICMPPacket->xIPHeader.usPayloadLength, FreeRTOS_htons( ulPayloadLength ) ); in test_vNDAgeCache_NSHappyPath()
770 TEST_ASSERT_EQUAL( pxICMPPacket->xIPHeader.ucNextHeader, ipPROTOCOL_ICMP_IPv6 ); in test_vNDAgeCache_NSHappyPath()
771 TEST_ASSERT_EQUAL( pxICMPPacket->xIPHeader.ucHopLimit, 255 ); in test_vNDAgeCache_NSHappyPath()
846 ICMPPacket_IPv6_t xICMPPacket, * pxICMPPacket = &xICMPPacket; in test_vNDSendNeighbourSolicitation_HappyPath() local
847 ICMPHeader_IPv6_t * pxICMPHeader_IPv6 = &( pxICMPPacket->xICMPHeaderIPv6 ); in test_vNDSendNeighbourSolicitation_HappyPath()
862 TEST_ASSERT_EQUAL( pxICMPPacket->xIPHeader.ucVersionTrafficClass, 0x60 ); in test_vNDSendNeighbourSolicitation_HappyPath()
863 TEST_ASSERT_EQUAL( pxICMPPacket->xIPHeader.usPayloadLength, FreeRTOS_htons( ulPayloadLength ) ); in test_vNDSendNeighbourSolicitation_HappyPath()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_UDP_IPv4/
DFreeRTOS_UDP_IPv4_stubs.c103 ICMPPacket_t * pxICMPPacket; in prvPrepareDefaultNetworkbuffer() local
120 pxICMPPacket = ( ICMPPacket_t * ) pucEthernetBuffer; in prvPrepareDefaultNetworkbuffer()
DFreeRTOS_UDP_IPv4_utest.c1256 ICMPPacket_t * pxICMPPacket; in test_vProcessGeneratedUDPPacket_IPv4_ICMPPingCantSend() local
1263 pxICMPPacket = ( ICMPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_vProcessGeneratedUDPPacket_IPv4_ICMPPingCantSend()
1265 …eARPGetCacheEntry_ExpectAndReturn( &( pxNetworkBuffer->xIPAddress.ulIP_IPv4 ), &( pxICMPPacket->xE… in test_vProcessGeneratedUDPPacket_IPv4_ICMPPingCantSend()
1282 ICMPPacket_t * pxICMPPacket; in test_vProcessGeneratedUDPPacket_IPv4_ICMPPingCacheUnknown() local
1289 pxICMPPacket = ( ICMPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_vProcessGeneratedUDPPacket_IPv4_ICMPPingCacheUnknown()
1291 …eARPGetCacheEntry_ExpectAndReturn( &( pxNetworkBuffer->xIPAddress.ulIP_IPv4 ), &( pxICMPPacket->xE… in test_vProcessGeneratedUDPPacket_IPv4_ICMPPingCacheUnknown()
1308 ICMPPacket_t * pxICMPPacket; in test_vProcessGeneratedUDPPacket_IPv4_ICMPPingCacheHit() local
1318 pxICMPPacket = ( ICMPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_vProcessGeneratedUDPPacket_IPv4_ICMPPingCacheHit()
1320 …eARPGetCacheEntry_ExpectAndReturn( &( pxNetworkBuffer->xIPAddress.ulIP_IPv4 ), &( pxICMPPacket->xE… in test_vProcessGeneratedUDPPacket_IPv4_ICMPPingCacheHit()
1331 TEST_ASSERT_EQUAL( ipPROTOCOL_ICMP, pxICMPPacket->xIPHeader.ucProtocol ); in test_vProcessGeneratedUDPPacket_IPv4_ICMPPingCacheHit()
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/Zynq/
DNetworkInterface.c399 … ICMPPacket_IPv6_t * pxICMPPacket = ( ICMPPacket_IPv6_t * ) pxBuffer->pucEthernetBuffer; in xZynqNetworkInterfaceOutput() local
402 ( pxICMPPacket->xIPHeader.ucNextHeader == ipPROTOCOL_ICMP_IPv6 ) ) in xZynqNetworkInterfaceOutput()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP/
DFreeRTOS_IP_utest.c3026 ICMPPacket_IPv6_t * pxICMPPacket; in test_prvProcessIPPacket_ICMP_IPv6_HappyPath() local
3035 pxICMPPacket = ( ICMPPacket_IPv6_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_prvProcessIPPacket_ICMP_IPv6_HappyPath()