Searched refs:ipTOTAL_ETHERNET_FRAME_SIZE (Results 1 – 18 of 18) sorted by relevance
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessIPPacket_IPv6/eHandleIPv6ExtensionHeaders/ |
| D | eHandleIPv6ExtensionHeaders_harness.c | 19 …uint8_t * pucEthernetBuffer = ( uint8_t * ) safeMalloc( ipTOTAL_ETHERNET_FRAME_SIZE + ipIP_TYPE_OF… in harness()
35 ( pxNetworkBuffer->xDataLength <= ipTOTAL_ETHERNET_FRAME_SIZE ) ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessIPPacket/ |
| D | ProcessIPPacket_harness.c | 69 …uint8_t * pucEthernetBuffer = ( uint8_t * ) safeMalloc( ipTOTAL_ETHERNET_FRAME_SIZE + ipIP_TYPE_OF… in harness()
80 …ataLength >= sizeof( IPPacket_t ) && pxNetworkBuffer->xDataLength <= ipTOTAL_ETHERNET_FRAME_SIZE ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessIPPacket_IPv6/prvAllowIPPacketIPv6/ |
| D | prvAllowIPPacketIPv6_harness.c | 63 …uint8_t * pucEthernetBuffer = ( uint8_t * ) safeMalloc( ipTOTAL_ETHERNET_FRAME_SIZE + ipIP_TYPE_OF… in harness()
77 ( pxNetworkBuffer->xDataLength <= ipTOTAL_ETHERNET_FRAME_SIZE ) ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/xRecv_Update_IPv4/ |
| D | xRecv_Update_IPv4_harness.c | 49 uint8_t * pxEthBuffer = safeMalloc( ipTOTAL_ETHERNET_FRAME_SIZE + ipIP_TYPE_OFFSET ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/xRecv_Update_IPv6/ |
| D | xRecv_Update_IPv6_harness.c | 21 uint8_t * pxEthBuffer = safeMalloc( ipTOTAL_ETHERNET_FRAME_SIZE + ipIP_TYPE_OFFSET ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/IP/ProcessEthernetPacket/ |
| D | ProcessEthernetPacket_harness.c | 84 …izeof( EthernetHeader_t ) ) ) && ( pxNetworkBuffer->xDataLength <= ipTOTAL_ETHERNET_FRAME_SIZE ) ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/TM4C/ |
| D | NetworkInterface.c | 60 #define BUFFER_SIZE ( ipTOTAL_ETHERNET_FRAME_SIZE + ipBUFFER_PADDING )
477 stack_descriptor = pxGetNetworkBufferWithDescriptor( ipTOTAL_ETHERNET_FRAME_SIZE, 0 ); in _dma_descriptors_init()
616 …new_stack_descriptor = pxGetNetworkBufferWithDescriptor( ipTOTAL_ETHERNET_FRAME_SIZE, max_block_ti… in _process_received_packet()
669 dma_descriptor->ui32Count = DES1_RX_CTRL_CHAINED | ipTOTAL_ETHERNET_FRAME_SIZE; in _process_received_packet()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/LPC18xx/ |
| D | NetworkInterface.c | 541 … xDMATxDescriptors[ x ].B1ADD = ( uint32_t ) pvPortMalloc( ipTOTAL_ETHERNET_FRAME_SIZE ); in prvSetupTxDescriptors()
590 … pxNetworkBuffer = pxGetNetworkBufferWithDescriptor( ipTOTAL_ETHERNET_FRAME_SIZE, 0 ); in prvSetupRxDescriptors()
606 … xDMARxDescriptors[ x ].B1ADD = ( uint32_t ) pvPortMalloc( ipTOTAL_ETHERNET_FRAME_SIZE ); in prvSetupRxDescriptors()
616 …xDMARxDescriptors[ x ].CTRL = ( uint32_t ) RDES_ENH_BS1( ipTOTAL_ETHERNET_FRAME_SIZE ) | RDES_ENH_… in prvSetupRxDescriptors()
721 …pxNewDescriptor = pxGetNetworkBufferWithDescriptor( ipTOTAL_ETHERNET_FRAME_SIZE, xDescriptorWaitTi… in prvNetworkInterfaceInput()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/prvProcessEthernetPacket/ |
| D | prvProcessEthernetPacket_harness.c | 75 …tor_t * const pxNetworkBuffer = pxGetNetworkBufferWithDescriptor( ipTOTAL_ETHERNET_FRAME_SIZE, 0 ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/linux/ |
| D | NetworkInterface.c | 506 ipTOTAL_ETHERNET_FRAME_SIZE ); in prvSetDeviceModes()
523 ipTOTAL_ETHERNET_FRAME_SIZE * 1100 ); in prvSetDeviceModes()
960 if( pxHeader->len <= ipTOTAL_ETHERNET_FRAME_SIZE ) in prvInterruptSimulatorTask()
1093 #define BUFFER_SIZE ( ipTOTAL_ETHERNET_FRAME_SIZE + ipBUFFER_PADDING )
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/UDP/vProcessGeneratedUDPPacket/ |
| D | vProcessGeneratedUDPPacket_harness.c | 96 …equestedSizeBytes >= sizeof( UDPPacket_t ) && xRequestedSizeBytes <= ipTOTAL_ETHERNET_FRAME_SIZE ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/UDP/vProcessGeneratedUDPPacket_IPv6/ |
| D | vProcessGeneratedUDPPacket_IPv6_harness.c | 92 …tedSizeBytes >= sizeof( UDPPacket_IPv6_t ) && xRequestedSizeBytes <= ipTOTAL_ETHERNET_FRAME_SIZE ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/ATSAM4E/ |
| D | NetworkInterface.c | 460 …extNetworkBufferDescriptor = pxGetNetworkBufferWithDescriptor( ipTOTAL_ETHERNET_FRAME_SIZE, xBlock… in prvEMACRxPoll()
476 …ulResult = gmac_dev_read( &gs_gmac_dev, pucUseBuffer, ipTOTAL_ETHERNET_FRAME_SIZE, &ulReceiveCount… in prvEMACRxPoll()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/WinPCap/ |
| D | NetworkInterface.c | 525 … ipTOTAL_ETHERNET_FRAME_SIZE, /* The size of the packet to capture. */ in prvOpenInterface()
827 if( pxHeader->len <= ipTOTAL_ETHERNET_FRAME_SIZE ) in prvInterruptSimulatorTask()
946 #define BUFFER_SIZE ( ipTOTAL_ETHERNET_FRAME_SIZE + ipBUFFER_PADDING )
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/libslirp/ |
| D | MBuffNetworkInterface.c | 327 #define BUFFER_SIZE ( ipTOTAL_ETHERNET_FRAME_SIZE + ipBUFFER_PADDING )
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
| D | FreeRTOS_IP.h | 94 #define ipTOTAL_ETHERNET_FRAME_SIZE ( ( ( uint32_t ) ipconfigNETWORK_MTU ) + ( ( uin… macro
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/ThirdParty/MSP432/ |
| D | NetworkInterface.c | 1000 #define BUFFER_SIZE_ALLOC1 ( ipTOTAL_ETHERNET_FRAME_SIZE + ipBUFFER_PADDING )
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_TCP_Transmission.c | 637 uxNeeded = ( size_t ) ipTOTAL_ETHERNET_FRAME_SIZE; in prvTCPBufferResize()
|
