Home
last modified time | relevance | path

Searched refs:eFrameProcessingResult_t (Results 1 – 17 of 17) sorted by relevance

/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/prvProcessEthernetPacket/
DprvProcessEthernetPacket_harness.c38 eFrameProcessingResult_t eARPProcessPacket( ARPPacket_t * const pxARPFrame ) in eARPProcessPacket()
42 eFrameProcessingResult_t eReturn; in eARPProcessPacket()
48 eFrameProcessingResult_t __CPROVER_file_local_FreeRTOS_IP_c_prvProcessIPPacket( IPPacket_t * pxIPPa… in __CPROVER_file_local_FreeRTOS_IP_c_prvProcessIPPacket()
54 eFrameProcessingResult_t result; in __CPROVER_file_local_FreeRTOS_IP_c_prvProcessIPPacket()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_ICMP/
DFreeRTOS_ICMP_utest.c70 eFrameProcessingResult_t eResult; in test_ProcessICMPPacket_CatchAssert()
81 eFrameProcessingResult_t eResult; in test_ProcessICMPPacket_AllZeroData()
100 eFrameProcessingResult_t eResult; in test_ProcessICMPPacket_EchoRequest()
136 eFrameProcessingResult_t eResult; in test_ProcessICMPPacket_UnknownICMPPacket()
159 eFrameProcessingResult_t eResult; in test_ProcessICMPPacket_ICMPEchoReply_NULLData()
186 eFrameProcessingResult_t eResult; in test_ProcessICMPPacket_ICMPEchoReply_ProperData()
218 eFrameProcessingResult_t eResult; in test_ProcessICMPPacket_ICMPEchoReply_ImproperData()
/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_ICMP.c60 static eFrameProcessingResult_t prvProcessICMPEchoRequest( ICMPPacket_t * const pxICMPPacket,
82 …eFrameProcessingResult_t ProcessICMPPacket( const NetworkBufferDescriptor_t * const pxNetworkBuffe… in ProcessICMPPacket()
84 eFrameProcessingResult_t eReturn = eReleaseBuffer; in ProcessICMPPacket()
137 static eFrameProcessingResult_t prvProcessICMPEchoRequest( ICMPPacket_t * const pxICMPPacket, in prvProcessICMPEchoRequest()
DFreeRTOS_IP.c144 …extern eFrameProcessingResult_t eApplicationProcessCustomFrameHook( NetworkBufferDescriptor_t * co…
150 static eFrameProcessingResult_t prvProcessIPPacket( IPPacket_t * pxIPPacket,
161 static eFrameProcessingResult_t prvAllowIPPacket( const IPPacket_t * const pxIPPacket,
1173 eFrameProcessingResult_t eConsiderFrameForProcessing( const uint8_t * const pucEthernetBuffer ) in eConsiderFrameForProcessing()
1175 eFrameProcessingResult_t eReturn; in eConsiderFrameForProcessing()
1241 eFrameProcessingResult_t eReturned = eReleaseBuffer; in prvProcessEthernetPacket()
1400 static eFrameProcessingResult_t prvAllowIPPacket( const IPPacket_t * const pxIPPacket, in prvAllowIPPacket()
1404 eFrameProcessingResult_t eReturn = eProcessBuffer; in prvAllowIPPacket()
1597 static eFrameProcessingResult_t prvProcessIPPacket( IPPacket_t * pxIPPacket, in prvProcessIPPacket()
1600 eFrameProcessingResult_t eReturn; in prvProcessIPPacket()
DFreeRTOS_ARP.c123 eFrameProcessingResult_t eARPProcessPacket( ARPPacket_t * const pxARPFrame ) in eARPProcessPacket()
125 eFrameProcessingResult_t eReturn = eReleaseBuffer; in eARPProcessPacket()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP_DiffConfig/
DFreeRTOS_IP_DiffConfig_utest.c70 eFrameProcessingResult_t prvProcessIPPacket( IPPacket_t * pxIPPacket,
73 eFrameProcessingResult_t prvAllowIPPacket( const IPPacket_t * const pxIPPacket,
389 eFrameProcessingResult_t eResult; in test_prvAllowIPPacket_BroadcastSourceIP()
420 eFrameProcessingResult_t eResult; in test_prvAllowIPPacket_IncorrectSizeFields()
451 eFrameProcessingResult_t eResult; in test_prvAllowIPPacket_UDPCheckSumZero()
487 eFrameProcessingResult_t eResult; in test_prvAllowIPPacket_UDP_HappyPath()
530 eFrameProcessingResult_t eResult; in test_prvAllowIPPacket_TCP_HappyPath()
567 eFrameProcessingResult_t eResult; in test_prvProcessIPPacket_()
603 eFrameProcessingResult_t eResult; in test_xCheckSizeFields_BufferLengthLess()
638 eFrameProcessingResult_t eResult; in test_xCheckSizeFields_HeaderLengthLess()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP/
DFreeRTOS_IP_utest.c70 eFrameProcessingResult_t prvProcessIPPacket( IPPacket_t * pxIPPacket,
73 eFrameProcessingResult_t prvAllowIPPacket( const IPPacket_t * const pxIPPacket,
1429 eFrameProcessingResult_t eResult; in test_eConsiderFrameForProcessing_NoMatch()
1442 eFrameProcessingResult_t eResult; in test_eConsiderFrameForProcessing_LocalMACMatch()
1462 eFrameProcessingResult_t eResult; in test_eConsiderFrameForProcessing_LocalMACMatch1()
1482 eFrameProcessingResult_t eResult; in test_eConsiderFrameForProcessing_LocalMACMatch2()
1502 eFrameProcessingResult_t eResult; in test_eConsiderFrameForProcessing_BroadCastMACMatch()
1522 eFrameProcessingResult_t eResult; in test_eConsiderFrameForProcessing_LLMNR_MACMatch()
1813 eFrameProcessingResult_t eResult; in test_prvAllowIPPacket()
1832 eFrameProcessingResult_t eResult; in test_prvAllowIPPacket_FragmentedPacket()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_ARP/
DFreeRTOS_ARP_utest.c33 eFrameProcessingResult_t eResult; in vResetARPClashCounter()
178 eFrameProcessingResult_t eResult; in test_eARPProcessPacket_DifferentHardwareAddress()
196 eFrameProcessingResult_t eResult; in test_eARPProcessPacket_DifferentProtocolType()
215 eFrameProcessingResult_t eResult; in test_eARPProcessPacket_DifferentHardwareLength()
235 eFrameProcessingResult_t eResult; in test_eARPProcessPacket_DifferentProtocolLength()
257 eFrameProcessingResult_t eResult; in test_eARPProcessPacket_SourceMACIsBroadcast()
279 eFrameProcessingResult_t eResult; in test_eARPProcessPacket_SourceMACIsMulticast()
300 eFrameProcessingResult_t eResult; in test_eARPProcessPacket_IPIsLocalLoopBack()
324 eFrameProcessingResult_t eResult; in test_eARPProcessPacket_SenderIPLessThanLoopBack()
348 eFrameProcessingResult_t eResult; in test_eARPProcessPacket_LocalIPisZero()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/include/
Daws_freertos_ip_verification_access_ip_define.h1 eFrameProcessingResult_t publicProcessIPPacket( IPPacket_t * const pxIPPacket, in publicProcessIPPacket()
/FreeRTOS-Plus-TCP-v3.1.0/source/include/
DFreeRTOS_ICMP.h73 …eFrameProcessingResult_t ProcessICMPPacket( const NetworkBufferDescriptor_t * const pxNetworkBuffe…
DFreeRTOS_IP_Private.h248 } eFrameProcessingResult_t; typedef
453 eFrameProcessingResult_t eARPProcessPacket( ARPPacket_t * const pxARPFrame );
460 eFrameProcessingResult_t eConsiderFrameForProcessing( const uint8_t * const pucEthernetBuffer );
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_ICMP_wo_assert/
DFreeRTOS_ICMP_wo_assert_utest.c63 eFrameProcessingResult_t eResult; in test_ProcessICMPPacket_PacketSizeSmall()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/parsing/ProcessIPPacket/
DProcessIPPacket_harness.c26 eFrameProcessingResult_t publicProcessIPPacket( IPPacket_t * const pxIPPacket,
/FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/libslirp/
DMBuffNetworkInterface.c203 eFrameProcessingResult_t xFrameProcess; in vNetifReceiveTask()
/FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/WinPCap/
DNetworkInterface.c551 eFrameProcessingResult_t eResult; in prvInterruptSimulatorTask()
/FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/linux/
DNetworkInterface.c739 eFrameProcessingResult_t eResult; in prvInterruptSimulatorTask()
/FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/LPC18xx/
DNetworkInterface.c667 eFrameProcessingResult_t eResult; in prvNetworkInterfaceInput()