Home
last modified time | relevance | path

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

/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 );
89 configASSERT( pxNetworkBuffer->xDataLength >= sizeof( ICMPPacket_t ) ); in ProcessICMPPacket()
91 if( pxNetworkBuffer->xDataLength >= sizeof( ICMPPacket_t ) ) in ProcessICMPPacket()
99 ICMPPacket_t * pxICMPPacket = ( ( ICMPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer ); in ProcessICMPPacket()
140 static eFrameProcessingResult_t prvProcessICMPEchoRequest( ICMPPacket_t * const pxICMPPacket, in prvProcessICMPEchoRequest()
207 static void prvProcessICMPEchoReply( ICMPPacket_t * const pxICMPPacket ) in prvProcessICMPEchoReply()
229 pucByte = &( pucByte[ sizeof( ICMPPacket_t ) ] ); in prvProcessICMPEchoReply()
DFreeRTOS_UDP_IPv4.c100 uxPayloadSize = pxNetworkBuffer->xDataLength - sizeof( ICMPPacket_t ); in vProcessGeneratedUDPPacket_IPv4()
DFreeRTOS_IP.c1280 uxTotalLength = uxNumberOfBytesToSend + sizeof( ICMPPacket_t ); in FreeRTOS_SendPingRequest()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_ICMP/
DFreeRTOS_ICMP_utest.c74 pxNetworkBuffer->xDataLength = sizeof( ICMPPacket_t ) - 1; in test_ProcessICMPPacket_CatchAssert()
104 ICMPPacket_t * pxICMPPacket; in test_ProcessICMPPacket_EchoRequest()
113 pxICMPPacket = ( ICMPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_ProcessICMPPacket_EchoRequest()
141 ICMPPacket_t * pxICMPPacket; in test_ProcessICMPPacket_UnknownICMPPacket()
149 pxICMPPacket = ( ICMPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_ProcessICMPPacket_UnknownICMPPacket()
164 ICMPPacket_t * pxICMPPacket; in test_ProcessICMPPacket_ICMPEchoReply_NULLData()
172 pxICMPPacket = ( ICMPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_ProcessICMPPacket_ICMPEchoReply_NULLData()
191 ICMPPacket_t * pxICMPPacket; in test_ProcessICMPPacket_ICMPEchoReply_ProperData()
200 pxICMPPacket = ( ICMPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_ProcessICMPPacket_ICMPEchoReply_ProperData()
208 pucByte = &( pucByte[ sizeof( ICMPPacket_t ) ] ); in test_ProcessICMPPacket_ICMPEchoReply_ProperData()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ICMP/ProcessICMPPacket/
DProcessICMPPacket_harness.c44 …ult_t __CPROVER_file_local_FreeRTOS_ICMP_c_prvProcessICMPEchoRequest( ICMPPacket_t * const pxICMPP… in __CPROVER_file_local_FreeRTOS_ICMP_c_prvProcessICMPEchoRequest()
62 ICMPPacket_t * const pxICMPPacket = safeMalloc( sizeof( ICMPPacket_t ) ); in harness()
66 xNetworkBuffer.xDataLength = sizeof( ICMPPacket_t ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ICMP/ProcessICMPEchoRequest/
DProcessICMPEchoRequest_harness.c69 …ult_t __CPROVER_file_local_FreeRTOS_ICMP_c_prvProcessICMPEchoRequest( ICMPPacket_t * const pxICMPP…
76 ICMPPacket_t * pxICMPPacket = safeMalloc( sizeof( ICMPPacket_t ) ); in harness()
80 xNetworkBuffer.xDataLength = sizeof( ICMPPacket_t ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_ICMP_wo_assert/
DFreeRTOS_ICMP_wo_assert_utest.c67 pxNetworkBuffer->xDataLength = sizeof( ICMPPacket_t ) - 1; in test_ProcessICMPPacket_PacketSizeSmall()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_UDP_IPv4/
DFreeRTOS_UDP_IPv4_stubs.c103 ICMPPacket_t * pxICMPPacket; in prvPrepareDefaultNetworkbuffer()
120 pxICMPPacket = ( ICMPPacket_t * ) pucEthernetBuffer; in prvPrepareDefaultNetworkbuffer()
DFreeRTOS_UDP_IPv4_utest.c1256 ICMPPacket_t * pxICMPPacket; in test_vProcessGeneratedUDPPacket_IPv4_ICMPPingCantSend()
1263 pxICMPPacket = ( ICMPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_vProcessGeneratedUDPPacket_IPv4_ICMPPingCantSend()
1282 ICMPPacket_t * pxICMPPacket; in test_vProcessGeneratedUDPPacket_IPv4_ICMPPingCacheUnknown()
1289 pxICMPPacket = ( ICMPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_vProcessGeneratedUDPPacket_IPv4_ICMPPingCacheUnknown()
1308 ICMPPacket_t * pxICMPPacket; in test_vProcessGeneratedUDPPacket_IPv4_ICMPPingCacheHit()
1318 pxICMPPacket = ( ICMPPacket_t * ) pxNetworkBuffer->pucEthernetBuffer; in test_vProcessGeneratedUDPPacket_IPv4_ICMPPingCacheHit()
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
DFreeRTOS_IPv4_Private.h105 typedef struct xICMP_PACKET ICMPPacket_t; variable
DFreeRTOS_IP_Private.h216 ICMPPacket_t xICMPPacket; /**< Union member: ICMP packet struct */
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP/
DFreeRTOS_IP_utest.c1089 …pxGetNetworkBufferWithDescriptor_ExpectAndReturn( uxNumberOfBytesToSend + sizeof( ICMPPacket_t ), … in test_FreeRTOS_SendPingRequest_HappyPath()
1137 …pxGetNetworkBufferWithDescriptor_ExpectAndReturn( uxNumberOfBytesToSend + sizeof( ICMPPacket_t ), … in test_FreeRTOS_SendPingRequest_SendingToIPTaskFails()
1245 …pxGetNetworkBufferWithDescriptor_ExpectAndReturn( uxNumberOfBytesToSend + sizeof( ICMPPacket_t ), … in test_FreeRTOS_SendPingRequest_NetworkBufferFailure()