| /FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
| D | FreeRTOSIPConfigDefaults.h | 646 #ifndef ipconfigNETWORK_MTU
647 #define ipconfigNETWORK_MTU 1500 macro
650 #if ipconfigNETWORK_MTU > ( SIZE_MAX >> 1 )
654 #undef ipconfigNETWORK_MTU
655 #define ipconfigNETWORK_MTU ( SIZE_MAX >> 1 ) macro
659 #if ( ipconfigNETWORK_MTU < 46 )
660 #error ipconfigNETWORK_MTU must be at least 46.
674 …#define ipconfigTCP_MSS ( ipconfigNETWORK_MTU - ( ipSIZE_OF_IPv4_HEADER + ipSIZE_OF_TCP_HEADER …
|
| D | FreeRTOS_DHCP.h | 44 #if ( ipconfigUSE_DHCP != 0 ) && ( ipconfigNETWORK_MTU < 586U )
48 #error ipconfigNETWORK_MTU needs to be at least 586 to use DHCP
|
| D | FreeRTOS_IPv4_Private.h | 40 #define ipMAX_UDP_PAYLOAD_LENGTH ( ( ipconfigNETWORK_MTU - ipSIZE_OF_IPv4_HEADER ) - ipSIZE_…
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/prvRecvFrom_CopyPacket/ |
| D | RecvFrom_CopyPacket_harness.c | 35 __CPROVER_assume( lDataLength > 0 && lDataLength < ipconfigNETWORK_MTU ); in harness()
39 __CPROVER_assume( uxBufferLength > 0 && uxBufferLength < ipconfigNETWORK_MTU ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/IPUtils/pxDuplicateNetworkBufferWithDescriptor/ |
| D | pxDuplicateNetworkBufferWithDescriptor_harness.c | 76 __CPROVER_assume( uxBufferLength < ipconfigNETWORK_MTU ); in harness()
77 __CPROVER_assume( uxNewLength < ipconfigNETWORK_MTU ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DNS/ |
| D | FreeRTOS_DNS_utest.c | 521 uint8_t ucEtherBuffer[ ipconfigNETWORK_MTU + ipBUFFER_PADDING ]; in test_ulDNSHandlePacket_FreeBuffer()
527 xNetworkBuffer.xDataLength = ipconfigNETWORK_MTU; in test_ulDNSHandlePacket_FreeBuffer()
1322 uint8_t ucEtherBuffer[ ipconfigNETWORK_MTU + ipBUFFER_PADDING ]; in test_FreeRTOS_getaddrinfo_a_IPv6Random_DNSReplySuccess()
1335 xNetworkBuffer.xDataLength = ipconfigNETWORK_MTU; in test_FreeRTOS_getaddrinfo_a_IPv6Random_DNSReplySuccess()
1374 DNS_ReadReply_ExpectAnyArgsAndReturn( ipconfigNETWORK_MTU ); in test_FreeRTOS_getaddrinfo_a_IPv6Random_DNSReplySuccess()
1405 uint8_t ucEtherBuffer[ ipconfigNETWORK_MTU + ipBUFFER_PADDING ]; in test_FreeRTOS_getaddrinfo_a_IPv6Random_RetryExhaust()
1419 xNetworkBuffer.xDataLength = ipconfigNETWORK_MTU; in test_FreeRTOS_getaddrinfo_a_IPv6Random_RetryExhaust()
1485 uint8_t ucEtherBuffer[ ipconfigNETWORK_MTU + ipBUFFER_PADDING ]; in test_FreeRTOS_getaddrinfo_a_IPv4Random_LocalDNSSuccess()
1501 xNetworkBuffer.xDataLength = ipconfigNETWORK_MTU; in test_FreeRTOS_getaddrinfo_a_IPv4Random_LocalDNSSuccess()
1542 DNS_ReadReply_ExpectAnyArgsAndReturn( ipconfigNETWORK_MTU ); in test_FreeRTOS_getaddrinfo_a_IPv4Random_LocalDNSSuccess()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/tools/tcp_utilities/ |
| D | tcp_mem_stats.c | 67 …#define ETH_MAX_PACKET_SIZE ( ( ipconfigNETWORK_MTU + ipSIZE_OF_ETH_HEADER + ipBUFFER_PADDING +…
212 STATS_PRINTF( ( "TCPMemStat,NETWORK_MTU,%u\n", ipconfigNETWORK_MTU ) ); in vWriteHeader()
243 … uxPacketSize = ( ipconfigNETWORK_MTU + ipSIZE_OF_ETH_HEADER + ipBUFFER_PADDING + 31 ) & ~0x1FuL; in vWriteHeader()
331 … uxPacketSize = ( ipconfigNETWORK_MTU + ipSIZE_OF_ETH_HEADER + ipBUFFER_PADDING + 3 ) & ~0x03uL; in vWriteHeader()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/xCheckRequiresARPResolution/ |
| D | xCheckRequiresARPResolution_harness.c | 98 …ssume( ( xBufferLength >= sizeof( IPPacket_IPv6_t ) ) && ( xBufferLength < ipconfigNETWORK_MTU ) ); in harness()
102 …VER_assume( ( xBufferLength >= sizeof( IPPacket_t ) ) && ( xBufferLength < ipconfigNETWORK_MTU ) ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Utils/ |
| D | FreeRTOS_TCP_Utils_utest.c | 53 uint8_t ucEthernetBuffer[ ipconfigNETWORK_MTU ] =
149 TEST_ASSERT_EQUAL( ipconfigNETWORK_MTU - 40U, pxSocket->u.xTCP.usMSS ); in test_prvSocketSetMSS_Normal()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/IP/ConsiderFrameForProcessing/ |
| D | ConsiderFrameForProcessing_harness.c | 62 __CPROVER_assume( uBuffSize >= sizeof( EthernetHeader_t ) && uBuffSize < ipconfigNETWORK_MTU ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/prvChecksumIPv6Checks/ |
| D | prvChecksumIPv6Checks_harness.c | 26 …CPROVER_assume( uxBufferSize >= sizeof( IPPacket_IPv6_t ) && uxBufferSize <= ipconfigNETWORK_MTU ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/NBNSHandlePacket/ |
| D | NBNSHandlePacket_harness.c | 30 __CPROVER_assume( ( xDataSize < ( ipconfigNETWORK_MTU + ipSIZE_OF_ETH_HEADER ) ) ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/libslirp/ |
| D | MBuffNetworkInterface.c | 52 #if ipconfigNETWORK_MTU < 1500U
53 #error ipconfigNETWORK_MTU must be at least 1500
56 #define NETWORK_BUFFER_LEN ( ipconfigNETWORK_MTU + ipSIZE_OF_ETH_HEADER )
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/IPUtils/prvPacketBuffer_to_NetworkBuffer/ |
| D | prvPacketBuffer_to_NetworkBuffer_harness.c | 49 …BufferLength > ipBUFFER_PADDING ) && ( uxBufferLength < ipBUFFER_PADDING + ipconfigNETWORK_MTU ) ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/STM32Fxx/ |
| D | readme.md | 91 #define ETH_RX_BUF_SIZE ( ipconfigNETWORK_MTU + 36 )
92 #define ETH_TX_BUF_SIZE ( ipconfigNETWORK_MTU + 36 )
99 …ue of `ETH_RX_BUF_SIZE` and `ETH_TX_BUF_SIZE` depends on the actual value of `ipconfigNETWORK_MTU`.
106 … the size be at least a multiple of 8 ( for DMA ), and make it at least "ipconfigNETWORK_MTU + 14".
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvHandleListen/ |
| D | prvHandleListen_harness.c | 63 __CPROVER_assume( xDataLength >= sizeof( TCPPacket_t ) && xDataLength <= ipconfigNETWORK_MTU ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvHandleListen_IPv6/ |
| D | prvHandleListen_IPv6_harness.c | 63 …_CPROVER_assume( xDataLength >= sizeof( TCPPacket_IPv6_t ) && xDataLength <= ipconfigNETWORK_MTU ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/xCheckLoopback/ |
| D | xCheckLoopback_harness.c | 47 ( xBufferLength < ipconfigNETWORK_MTU ) ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/IP/HandleEthernetPacket/ |
| D | HandleEthernetPacket_harness.c | 80 __CPROVER_assume( uBuffSize > 0 && uBuffSize < ipconfigNETWORK_MTU ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/build-combination/AllDisable/ |
| D | FreeRTOSIPConfig.h | 232 #define ipconfigNETWORK_MTU 1500U macro
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/IPUtils/usGenerateProtocolChecksum/ |
| D | usGenerateProtocolChecksum_harness.c | 59 …ER + ipSIZE_OF_IPv4_HEADER + sizeof( ProtocolHeaders_t ) && uxBufferLength < ipconfigNETWORK_MTU ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/IPUtils/pxUDPPayloadBuffer_to_NetworkBuffer/ |
| D | pxUDPPayloadBuffer_to_NetworkBuffer_harness.c | 69 __CPROVER_assume( uxBufferLength < ipconfigNETWORK_MTU ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/Coverity/ConfigFiles/ |
| D | FreeRTOSIPConfig.h | 236 #define ipconfigNETWORK_MTU 1500U macro
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/prepareReplyDNSMessage/ |
| D | prepareReplyDNSMessage_harness.c | 106 …t ) + sizeof( NBNSAnswer_t ) - 2 * sizeof( uint16_t ) ) ) && ( xDataSize < ipconfigNETWORK_MTU ) ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/patches/ |
| D | FreeRTOSIPConfig.h | 246 #define ipconfigNETWORK_MTU 1500U macro
|
