| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/stubs/ |
| D | freertos_api.c | 168 uint8_t * buffer = safeMalloc( buffer_size ); in FreeRTOS_recvfrom() local
170 if( buffer == NULL ) in FreeRTOS_recvfrom()
176 buffer = buffer + sizeof( UDPPacket_t ); in FreeRTOS_recvfrom()
180 *( ( uint8_t ** ) pvBuffer ) = buffer; in FreeRTOS_recvfrom()
223 uint8_t * buffer = safeMalloc( size ); in FreeRTOS_GetUDPPayloadBuffer_Multi() local
225 return buffer == NULL ? buffer : buffer + sizeof( UDPPacket_t ); in FreeRTOS_GetUDPPayloadBuffer_Multi()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/M487/ |
| D | NetworkInterface.c | 144 uint8_t * buffer = NULL; in xNetworkInterfaceOutput() local
152 buffer = numaker_eth_get_tx_buf(); in xNetworkInterfaceOutput()
154 if( buffer == NULL ) in xNetworkInterfaceOutput()
162 NU_DEBUGF( ( "%s ... buffer=0x%x\r\n", __FUNCTION__, buffer ) ); in xNetworkInterfaceOutput()
164 memcpy( buffer, pxDescriptor->pucEthernetBuffer, pxDescriptor->xDataLength ); in xNetworkInterfaceOutput()
243 uint8_t * buffer = NULL; in prvEMACHandlerTask() local
271 if( numaker_eth_get_rx_buf( &dataLength, &buffer ) != 0 ) in prvEMACHandlerTask()
288 memcpy( pxBufferDescriptor->pucEthernetBuffer, buffer, dataLength ); in prvEMACHandlerTask()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/ARP_FreeRTOS_OutputARPRequest/ |
| D | README.md | 13 guarantees that for a buffer allocated to xDataLength,
17 buffer allocated by pxGetNetworkBufferWithDescriptor allocates
18 a buffer of at least ipconfigETHERNET_MINIMUM_PACKET_BYTES,
29 buffer management layer.
|
| D | Configurations.json | 42 #That is the minimal required size for an ARPPacket_t plus offset in the buffer.
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/esp32/ |
| D | NetworkInterface.c | 196 void * buffer, in wlanif_input() argument
210 if( eConsiderFrameForProcessing( buffer ) != eProcessBuffer ) in wlanif_input()
227 memcpy( pxNetworkBuffer->pucEthernetBuffer, buffer, len ); in wlanif_input()
232 ESP_LOGE( TAG, "Failed to enqueue packet to network stack %p, len %d", buffer, len ); in wlanif_input()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCP/DHCPProcessEndPoint/ |
| D | README.md | 4 The main stubs in this proof deal with buffer management, which assume
5 that the buffer is large enough to accomodate a DHCP message plus a
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/STM32Hxx/ |
| D | readme.md | 79 Define the total number of network buffer descriptors, e.g. 64:
120 …t32_t DMACCATBR; // ETH_DMACCATXBR Channel Tx current application transmit buffer register
121 …nt32_t DMACCARBR; // ETH_DMACCARXBR Channel Rx current application receive buffer register
126 FreeRTOS+TCP never uses this feature. Each packet is stored in a single buffer called
|
| D | NetworkInterface.c | 554 .buffer = pucTXBuffer, in xSTM32H_NetworkInterfaceOutput()
729 if( data_buffer.buffer != NULL ) in prvNetworkInterfaceInput()
731 pxReceivedBuffer = pxPacketBuffer_to_NetworkBuffer( data_buffer.buffer ); in prvNetworkInterfaceInput()
782 memcpy( pxReceivedBuffer->pucEthernetBuffer, data_buffer.buffer, uxDataLength ); in prvNetworkInterfaceInput()
|
| D | stm32hxx_hal_eth.h | 176 uint8_t * buffer; /*<! buffer address */ member
|
| D | stm32hxx_hal_eth.c | 1330 RxBuffer->buffer = ( uint8_t * ) dma_rx_desc->BackupAddr0; in HAL_ETH_GetRxData()
2900 WRITE_REG( dmatxdesc->DESC0, ( uint32_t ) txbuffer->buffer ); in ETH_Prepare_Tx_Descriptors()
|
| /FreeRTOS-Plus-TCP-v4.0.0/ |
| D | History.txt | 105 + Updated buffer allocation to return a zero length buffer when
112 + Repaired buffer leak in NBNS reply logic.
194 block momentarily until a TX-buffer becomes available.
225 constant to improve network buffer alignment handling capabilities (expert
296 + Previously, an immediate ACK was only sent when buffer space was
317 for freeing a buffer sent to to the MAC driver for transmission, and
329 writer to set their own minimum buffer size should the hardware not be
338 + Fix: LLMNR and NBNS behaviour when the reply is in a larger buffer than the
|
| D | CMakeLists.txt | 30 # Select the appropriate buffer allocaiton method.
34 …set(FREERTOS_PLUS_TCP_BUFFER_ALLOCATION "2" CACHE STRING "FreeRTOS buffer allocation model number.…
|
| D | MISRA.md | 82 unaligned access. But, in case of FreeRTOS+TCP, the buffer in which the
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/STM32Fxx/ |
| D | readme.md | 100 When MTU is 1500, MTU+36 becomes a well-aligned buffer of 1536 bytes ( 0x600 ).
104 When two buffers share the same cache buffer, you are bound to see data errors.
|
| D | stm32fxx_hal_eth.h | 730 uint32_t buffer; /*!< Frame buffer */ member
|
| /FreeRTOS-Plus-TCP-v4.0.0/tools/tcp_utilities/ |
| D | plus_tcp_demo_cli.c | 793 char buffer[ 33 ]; in handle_rand() local
799 buffer[ index ] = ( ( ulNumber & ulMask ) != 0 ) ? '1' : '0'; in handle_rand()
803 buffer[ index ] = '\0'; in handle_rand()
804 FreeRTOS_printf( ( "Random %08lx (%s)\n", ulNumber, buffer ) ); in handle_rand()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/NXP1060/ |
| D | NetworkInterface.c | 172 void * buffer; /*!< Original buffer wrapped. */ member
894 ethernetifLocal->RxPbufs[ i ].buffer = &( ethernetifLocal->RxDataBuff[ i ][ 0 ] ); in xEMACInit()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DNS/ |
| D | FreeRTOS_DNS_utest.c | 340 uint8_t buffer[ 2280 + ipBUFFER_PADDING ]; in test_FreeRTOS_gethostbyname_FailSendDNSReplyZero() local
353 xNetworkBuffer.pucEthernetBuffer = buffer; in test_FreeRTOS_gethostbyname_FailSendDNSReplyZero()
402 uint8_t buffer[ 2280 + ipBUFFER_PADDING ]; in test_FreeRTOS_gethostbyname_Success() local
416 xNetworkBuffer.pucEthernetBuffer = buffer; in test_FreeRTOS_gethostbyname_Success()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DNS_Parser/ |
| D | FreeRTOS_DNS_Parser_utest.c | 1155 uint8_t buffer[ 300 ]; in test_DNS_TreatNBNS_success_nbns_non_fixed_size_buffer3() local
1157 pxNetworkBuffer.pucEthernetBuffer = buffer; in test_DNS_TreatNBNS_success_nbns_non_fixed_size_buffer3()
|
