| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/ARP/ARP_FreeRTOS_OutputARPRequest/ |
| D | OutputARPRequest_harness.c | 58 #if ( ipconfigETHERNET_MINIMUM_PACKET_BYTES > 0 ) in pxGetNetworkBufferWithDescriptor()
59 xNetworkBuffer.pucEthernetBuffer = malloc( ipconfigETHERNET_MINIMUM_PACKET_BYTES ); in pxGetNetworkBufferWithDescriptor()
|
| D | README.md | 16 * If the ipconfigETHERNET_MINIMUM_PACKET_BYTES is set and the
18 a buffer of at least ipconfigETHERNET_MINIMUM_PACKET_BYTES,
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/ARP/ARP_OutputARPRequest_buffer_alloc1/ |
| D | OutputARPRequest_harness.c | 31 #if ( ipconfigETHERNET_MINIMUM_PACKET_BYTES > 0 ) in vNetworkInterfaceAllocateRAMToBuffers()
32 …nt->pucEthernetBuffer = malloc( sizeof( ARPPacket_t ) + ( ipconfigETHERNET_MINIMUM_PACKET_BYTES - … in vNetworkInterfaceAllocateRAMToBuffers()
|
| D | README.md | 25 ```ipconfigETHERNET_MINIMUM_PACKET_BYTES``` to 50.
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/ARP/ARP_OutputARPRequest_buffer_alloc2/ |
| D | README.md | 36 along with the ipconfigETHERNET_MINIMUM_PACKET_BYTES is memory save
38 ipconfigETHERNET_MINIMUM_PACKET_BYTES < sizeof( TCPPacket_t ).
40 reminds that ipconfigETHERNET_MINIMUM_PACKET_BYTES must not be used
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/ |
| D | FreeRTOS_UDP_IP.c | 270 #if ( ipconfigETHERNET_MINIMUM_PACKET_BYTES > 0 ) in vProcessGeneratedUDPPacket()
272 … if( pxNetworkBuffer->xDataLength < ( size_t ) ipconfigETHERNET_MINIMUM_PACKET_BYTES ) in vProcessGeneratedUDPPacket()
276 …t ) pxNetworkBuffer->xDataLength; xIndex < ( BaseType_t ) ipconfigETHERNET_MINIMUM_PACKET_BYTES; x… in vProcessGeneratedUDPPacket()
281 pxNetworkBuffer->xDataLength = ( size_t ) ipconfigETHERNET_MINIMUM_PACKET_BYTES; in vProcessGeneratedUDPPacket()
|
| D | FreeRTOS_ARP.c | 942 #if ( ipconfigETHERNET_MINIMUM_PACKET_BYTES > 0 ) in FreeRTOS_OutputARPRequest()
944 … if( pxNetworkBuffer->xDataLength < ( size_t ) ipconfigETHERNET_MINIMUM_PACKET_BYTES ) in FreeRTOS_OutputARPRequest()
948 …t ) pxNetworkBuffer->xDataLength; xIndex < ( BaseType_t ) ipconfigETHERNET_MINIMUM_PACKET_BYTES; x… in FreeRTOS_OutputARPRequest()
953 pxNetworkBuffer->xDataLength = ( size_t ) ipconfigETHERNET_MINIMUM_PACKET_BYTES; in FreeRTOS_OutputARPRequest()
|
| D | FreeRTOS_IP.c | 1967 #if ( ipconfigETHERNET_MINIMUM_PACKET_BYTES > 0 ) in vReturnEthernetFrame()
1969 if( pxNetworkBuffer->xDataLength < ( size_t ) ipconfigETHERNET_MINIMUM_PACKET_BYTES ) in vReturnEthernetFrame()
1975 …t ) pxNetworkBuffer->xDataLength; xIndex < ( BaseType_t ) ipconfigETHERNET_MINIMUM_PACKET_BYTES; x… in vReturnEthernetFrame()
1980 pxNetworkBuffer->xDataLength = ( size_t ) ipconfigETHERNET_MINIMUM_PACKET_BYTES; in vReturnEthernetFrame()
|
| D | FreeRTOS_TCP_Transmission.c | 516 #if ( ipconfigETHERNET_MINIMUM_PACKET_BYTES > 0 ) in prvTCPReturnPacket()
518 … if( pxNetworkBuffer->xDataLength < ( size_t ) ipconfigETHERNET_MINIMUM_PACKET_BYTES ) in prvTCPReturnPacket()
522 …t ) pxNetworkBuffer->xDataLength; xIndex < ( BaseType_t ) ipconfigETHERNET_MINIMUM_PACKET_BYTES; x… in prvTCPReturnPacket()
527 … pxNetworkBuffer->xDataLength = ( size_t ) ipconfigETHERNET_MINIMUM_PACKET_BYTES; in prvTCPReturnPacket()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_ARP_DataLenLessThanMinPacket/ |
| D | FreeRTOS_ARP_DataLenLessThanMinPacket_utest.c | 24 …nt8_t ucBuffer[ sizeof( ARPPacket_t ) + ipBUFFER_PADDING + ipconfigETHERNET_MINIMUM_PACKET_BYTES ]; in test_FreeRTOS_OutputARPRequest_MinimumPacketSizeLessThanARPPacket()
|
| D | FreeRTOSIPConfig.h | 313 #define ipconfigETHERNET_MINIMUM_PACKET_BYTES ( 40 ) macro
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP_DiffConfig/ |
| D | FreeRTOS_IP_DiffConfig_utest.c | 1018 xNetworkBuffer.xDataLength = ipconfigETHERNET_MINIMUM_PACKET_BYTES; in test_vReturnEthernetFrame_DuplicationFailed()
1045 pxNetworkBuffer->xDataLength = ipconfigETHERNET_MINIMUM_PACKET_BYTES; in test_vReturnEthernetFrame_DuplicationSuccess()
1053 TEST_ASSERT_EQUAL( ipconfigETHERNET_MINIMUM_PACKET_BYTES, pxNetworkBuffer->xDataLength ); in test_vReturnEthernetFrame_DuplicationSuccess()
1076 pxNetworkBuffer->xDataLength = ipconfigETHERNET_MINIMUM_PACKET_BYTES - 10; in test_vReturnEthernetFrame()
1082 TEST_ASSERT_EQUAL( ipconfigETHERNET_MINIMUM_PACKET_BYTES, pxNetworkBuffer->xDataLength ); in test_vReturnEthernetFrame()
1083 … TEST_ASSERT_EACH_EQUAL_UINT8( 0, &ucEthBuffer[ ipconfigETHERNET_MINIMUM_PACKET_BYTES - 10 ], 10 ); in test_vReturnEthernetFrame()
1105 pxNetworkBuffer->xDataLength = ipconfigETHERNET_MINIMUM_PACKET_BYTES; in test_vReturnEthernetFrame_DataLenMoreThanRequired()
1111 TEST_ASSERT_EQUAL( ipconfigETHERNET_MINIMUM_PACKET_BYTES, pxNetworkBuffer->xDataLength ); in test_vReturnEthernetFrame_DataLenMoreThanRequired()
1112 …TEST_ASSERT_EACH_EQUAL_UINT8( 0xAA, &ucEthBuffer[ ipconfigETHERNET_MINIMUM_PACKET_BYTES - 10 ], 10… in test_vReturnEthernetFrame_DataLenMoreThanRequired()
|
| D | FreeRTOSIPConfig.h | 312 #define ipconfigETHERNET_MINIMUM_PACKET_BYTES ( 200 ) macro
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/ThirdParty/MSP432/ |
| D | NetworkInterface.c | 132 #ifndef ipconfigETHERNET_MINIMUM_PACKET_BYTES
133 #define ipconfigETHERNET_MINIMUM_PACKET_BYTES ETHERNET_MIN_PACKET_BYTES macro
135 #ifdef ipconfigETHERNET_MINIMUM_PACKET_BYTES
136 #undef ipconfigETHERNET_MINIMUM_PACKET_BYTES
137 #define ipconfigETHERNET_MINIMUM_PACKET_BYTES ETHERNET_MIN_PACKET_BYTES macro
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/BufferManagement/ |
| D | BufferAllocation_2.c | 72 #if defined( ipconfigETHERNET_MINIMUM_PACKET_BYTES )
78 STATIC_ASSERT( ipconfigETHERNET_MINIMUM_PACKET_BYTES <= baMINIMAL_BUFFER_SIZE );
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets_DiffConfig1/ |
| D | FreeRTOSIPConfig.h | 312 #define ipconfigETHERNET_MINIMUM_PACKET_BYTES ( 200 ) macro
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Tiny_TCP/ |
| D | FreeRTOSIPConfig.h | 312 #define ipconfigETHERNET_MINIMUM_PACKET_BYTES ( 200 ) macro
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets_DiffConfig/ |
| D | FreeRTOSIPConfig.h | 312 #define ipconfigETHERNET_MINIMUM_PACKET_BYTES ( 200 ) macro
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP_Utils_DiffConfig/ |
| D | FreeRTOSIPConfig.h | 312 #define ipconfigETHERNET_MINIMUM_PACKET_BYTES ( 200 ) macro
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/ConfigFiles/ |
| D | FreeRTOSIPConfig.h | 314 #define ipconfigETHERNET_MINIMUM_PACKET_BYTES ( 200 ) macro
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_IP_DiffConfig/ |
| D | FreeRTOSIPConfig.h | 312 #define ipconfigETHERNET_MINIMUM_PACKET_BYTES ( 200 ) macro
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/include/ |
| D | FreeRTOSIPConfigDefaults.h | 653 #ifndef ipconfigETHERNET_MINIMUM_PACKET_BYTES
654 #define ipconfigETHERNET_MINIMUM_PACKET_BYTES 0 macro
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/pic32mzef/ |
| D | BufferAllocation_2.c | 69 #if defined( ipconfigETHERNET_MINIMUM_PACKET_BYTES )
75 STATIC_ASSERT( ipconfigETHERNET_MINIMUM_PACKET_BYTES <= baMINIMAL_BUFFER_SIZE );
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_UDP_IP/ |
| D | FreeRTOS_UDP_IP_utest.c | 137 xLocalNetworkBuffer.xDataLength = ipconfigETHERNET_MINIMUM_PACKET_BYTES - 2; in test_vProcessGeneratedUDPPacket_CacheMiss_PacketSmaller()
174 xLocalNetworkBuffer.xDataLength = ipconfigETHERNET_MINIMUM_PACKET_BYTES + 2; in test_vProcessGeneratedUDPPacket_CacheMiss_PacketNotSmaller()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP/ |
| D | FreeRTOS_IP_utest.c | 2976 pxNetworkBuffer->xDataLength = ipconfigETHERNET_MINIMUM_PACKET_BYTES - 10; in test_vReturnEthernetFrame()
2982 TEST_ASSERT_EQUAL( ipconfigETHERNET_MINIMUM_PACKET_BYTES, pxNetworkBuffer->xDataLength ); in test_vReturnEthernetFrame()
2983 … TEST_ASSERT_EACH_EQUAL_UINT8( 0, &ucEthBuffer[ ipconfigETHERNET_MINIMUM_PACKET_BYTES - 10 ], 10 ); in test_vReturnEthernetFrame()
3005 pxNetworkBuffer->xDataLength = ipconfigETHERNET_MINIMUM_PACKET_BYTES; in test_vReturnEthernetFrame_DataLenMoreThanRequired()
3011 TEST_ASSERT_EQUAL( ipconfigETHERNET_MINIMUM_PACKET_BYTES, pxNetworkBuffer->xDataLength ); in test_vReturnEthernetFrame_DataLenMoreThanRequired()
3012 …TEST_ASSERT_EACH_EQUAL_UINT8( 0xAA, &ucEthBuffer[ ipconfigETHERNET_MINIMUM_PACKET_BYTES - 10 ], 10… in test_vReturnEthernetFrame_DataLenMoreThanRequired()
|
