| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/IPUtils/prvPacketBuffer_to_NetworkBuffer/ |
| D | prvPacketBuffer_to_NetworkBuffer_harness.c | 49 …__CPROVER_assume( ( uxBufferLength > ipBUFFER_PADDING ) && ( uxBufferLength < ipBUFFER_PADDING + i… in harness()
50 __CPROVER_assume( uxOffset <= uxBufferLength - ipBUFFER_PADDING ); in harness()
58 …cketBuffer_to_NetworkBuffer( &( pxNetworkBuffer->pucEthernetBuffer[ ipBUFFER_PADDING + uxOffset ] … in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/pic32mzef/ |
| D | BufferAllocation_2.c | 203 …orkBufferDescriptor_t ** ppDcpt = ( NetworkBufferDescriptor_t ** ) ( pPktBuff - ipBUFFER_PADDING ); in PIC32_MacAssociate()
347 pucEthernetBuffer = ( uint8_t * ) pvPortMalloc( xSize + ipBUFFER_PADDING ); in pucGetNetworkBuffer()
358 pucEthernetBuffer += ipBUFFER_PADDING; in pucGetNetworkBuffer()
376 pucEthernetBuffer -= ipBUFFER_PADDING; in vReleaseNetworkBuffer()
441 …pxReturn->pucEthernetBuffer = ( uint8_t * ) pvPortMalloc( xRequestedSizeBytes + ipBUFFER_PADDING ); in pxGetNetworkBufferWithDescriptor()
459 …*( ( NetworkBufferDescriptor_t ** ) ( pxReturn->pucEthernetBuffer - ipBUFFER_PADDING ) ) = pxRetur… in pxGetNetworkBufferWithDescriptor()
462 pxReturn->pucEthernetBuffer += ipBUFFER_PADDING; in pxGetNetworkBufferWithDescriptor()
562 xOriginalLength = pxNetworkBuffer->xDataLength + ipBUFFER_PADDING; in pxResizeNetworkBufferWithDescriptor()
563 xNewSizeBytes = xNewSizeBytes + ipBUFFER_PADDING; in pxResizeNetworkBufferWithDescriptor()
584 … *( ( NetworkBufferDescriptor_t ** ) ( pucBuffer - ipBUFFER_PADDING ) ) = pxNetworkBuffer; in pxResizeNetworkBufferWithDescriptor()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/BufferManagement/ |
| D | BufferAllocation_2.c | 200 pucEthernetBuffer = ( uint8_t * ) pvPortMalloc( xSize + ipBUFFER_PADDING ); in pucGetNetworkBuffer()
208 pucEthernetBuffer += ipBUFFER_PADDING; in pucGetNetworkBuffer()
224 pucEthernetBufferCopy -= ipBUFFER_PADDING; in vReleaseNetworkBuffer()
282 …turn->pucEthernetBuffer = ( uint8_t * ) pvPortMalloc( xRequestedSizeBytesCopy + ipBUFFER_PADDING ); in pxGetNetworkBufferWithDescriptor()
302 pxReturn->pucEthernetBuffer += ipBUFFER_PADDING; in pxGetNetworkBufferWithDescriptor()
408 xOriginalLength = pxNetworkBufferCopy->xDataLength + ipBUFFER_PADDING; in pxResizeNetworkBufferWithDescriptor()
409 uxSizeBytes = uxSizeBytes + ipBUFFER_PADDING; in pxResizeNetworkBufferWithDescriptor()
427 ( void ) memcpy( pucBuffer - ipBUFFER_PADDING, in pxResizeNetworkBufferWithDescriptor()
428 pxNetworkBufferCopy->pucEthernetBuffer - ipBUFFER_PADDING, in pxResizeNetworkBufferWithDescriptor()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DNS_ConfigNoCallback/ |
| D | FreeRTOS_DNS_ConfigNoCallback_utest.c | 158 xNetworkBuffer.pucEthernetBuffer = malloc( uxBytesNeeded + ipBUFFER_PADDING ); in test_FreeRTOS_gethostbyname_DifferentIdentifier()
159 xNetworkBuffer.pucEthernetBuffer += ipBUFFER_PADDING; in test_FreeRTOS_gethostbyname_DifferentIdentifier()
209 free( xNetworkBuffer.pucEthernetBuffer - ipBUFFER_PADDING ); in test_FreeRTOS_gethostbyname_DifferentIdentifier()
228 xNetworkBuffer.pucEthernetBuffer = malloc( uxBytesNeeded + ipBUFFER_PADDING ); in test_FreeRTOS_gethostbyname_SameIdentifier()
229 xNetworkBuffer.pucEthernetBuffer += ipBUFFER_PADDING; in test_FreeRTOS_gethostbyname_SameIdentifier()
277 free( xNetworkBuffer.pucEthernetBuffer - ipBUFFER_PADDING ); in test_FreeRTOS_gethostbyname_SameIdentifier()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DNS/ |
| D | FreeRTOS_DNS_utest.c | 233 xNetworkBuffer.pucEthernetBuffer = malloc( 2280 + ipBUFFER_PADDING ); in test_FreeRTOS_gethostbyname_FailSendDNSRequest()
234 xNetworkBuffer.pucEthernetBuffer += ipBUFFER_PADDING; in test_FreeRTOS_gethostbyname_FailSendDNSRequest()
266 xNetworkBuffer.pucEthernetBuffer -= ipBUFFER_PADDING; in test_FreeRTOS_gethostbyname_FailSendDNSRequest()
289 xNetworkBuffer.pucEthernetBuffer = malloc( 2280 + ipBUFFER_PADDING ); in test_FreeRTOS_gethostbyname_FailReadDNSReplyNull()
290 xNetworkBuffer.pucEthernetBuffer += ipBUFFER_PADDING; in test_FreeRTOS_gethostbyname_FailReadDNSReplyNull()
322 xNetworkBuffer.pucEthernetBuffer -= ipBUFFER_PADDING; in test_FreeRTOS_gethostbyname_FailReadDNSReplyNull()
340 uint8_t buffer[ 2280 + ipBUFFER_PADDING ]; in test_FreeRTOS_gethostbyname_FailSendDNSReplyZero()
354 xNetworkBuffer.pucEthernetBuffer += ipBUFFER_PADDING; in test_FreeRTOS_gethostbyname_FailSendDNSReplyZero()
386 xNetworkBuffer.pucEthernetBuffer -= ipBUFFER_PADDING; in test_FreeRTOS_gethostbyname_FailSendDNSReplyZero()
402 uint8_t buffer[ 2280 + ipBUFFER_PADDING ]; in test_FreeRTOS_gethostbyname_Success()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DHCP/ |
| D | FreeRTOS_DHCP_stubs.c | 234 …etworkBuffer = malloc( sizeof( NetworkBufferDescriptor_t ) + ipBUFFER_PADDING ) + ipBUFFER_PADDING; in GetNetworkBuffer()
236 … pxNetworkBuffer->pucEthernetBuffer = malloc( SizeOfEthBuf + ipBUFFER_PADDING ) + ipBUFFER_PADDING; in GetNetworkBuffer()
252 …nt8_t * ) pxGlobalNetworkBuffer[ --GlobalBufferCounter ]->pucEthernetBuffer ) - ipBUFFER_PADDING ); in ReleaseNetworkBuffer()
254 free( ( ( uint8_t * ) pxGlobalNetworkBuffer[ GlobalBufferCounter ] ) - ipBUFFER_PADDING ); in ReleaseNetworkBuffer()
|
| /FreeRTOS-Plus-TCP-v4.0.0/tools/tcp_utilities/ |
| D | tcp_mem_stats.c | 67 …MAX_PACKET_SIZE ( ( ipconfigNETWORK_MTU + ipSIZE_OF_ETH_HEADER + ipBUFFER_PADDING + 31 ) & ~0x1…
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/unit-test/FreeRTOS_ARP_DataLenLessThanMinPacket/ |
| D | FreeRTOS_ARP_DataLenLessThanMinPacket_utest.c | 42 …uint8_t ucBuffer[ sizeof( ARPPacket_t ) + ipBUFFER_PADDING + ipconfigETHERNET_MINIMUM_PACKET_BYTES… in test_FreeRTOS_OutputARPRequest_MinimumPacketSizeLessThanARPPacket()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_Utils_DiffConfig/ |
| D | FreeRTOS_IP_Utils_DiffConfig_utest.c | 311 uint8_t ucEthBuf[ ipBUFFER_PADDING + ipconfigTCP_MSS ]; in test_pxUDPPayloadBuffer_to_NetworkBuffer_IPv6()
325 pucPayloadBuffer = &ucEthBuf[ uxOffset + ipBUFFER_PADDING ]; in test_pxUDPPayloadBuffer_to_NetworkBuffer_IPv6()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_ARP/ |
| D | FreeRTOS_ARP_utest.c | 83 uint8_t ucBuffer[ sizeof( IPPacket_t ) + ipBUFFER_PADDING ]; in test_xCheckLoopback_DataLengthTooSmall()
104 uint8_t ucBuffer[ sizeof( IPPacket_t ) + ipBUFFER_PADDING ]; in test_xCheckLoopback_IncorrectFrameType()
125 uint8_t ucBuffer[ sizeof( IPPacket_t ) + ipBUFFER_PADDING ]; in test_xCheckLoopback_NullEndPoint()
150 uint8_t ucBuffer[ sizeof( IPPacket_t ) + ipBUFFER_PADDING ]; in test_xCheckLoopback_IncorrectMACAddress()
175 uint8_t ucBuffer[ sizeof( IPPacket_t ) + ipBUFFER_PADDING ]; in test_xCheckLoopback_HappyCase()
205 uint8_t ucBuffer[ sizeof( IPPacket_t ) + ipBUFFER_PADDING ]; in test_xCheckLoopback_DuplicationFails()
234 uint8_t ucBuffer[ sizeof( IPPacket_t ) + ipBUFFER_PADDING ]; in test_xCheckLoopback_SendEventToIPTaskFails()
266 uint8_t ucBuffer[ sizeof( IPPacket_t ) + ipBUFFER_PADDING ]; in test_eARPProcessPacket_DifferentHardwareAddress()
288 uint8_t ucBuffer[ sizeof( IPPacket_t ) + ipBUFFER_PADDING ]; in test_eARPProcessPacket_DifferentProtocolType()
311 uint8_t ucBuffer[ sizeof( IPPacket_t ) + ipBUFFER_PADDING ]; in test_eARPProcessPacket_DifferentHardwareLength()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/LPC54018/ |
| D | NetworkInterface.c | 374 __ALIGN_BEGIN static uint32_t buffers[ ipconfigNUM_NETWORK_BUFFER_DESCRIPTORS ][ ( ipBUFFER_PADDING…
379 … pxNetworkBuffers[ x ].pucEthernetBuffer = ( uint8_t * ) &buffers[ x ][ 0 ] + ipBUFFER_PADDING; in vNetworkInterfaceAllocateRAMToBuffers()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/vSocketClose/ |
| D | vSocketClose_harness.c | 37 __CPROVER_assume( xRequestedSizeBytes < ( CBMC_MAX_OBJECT_SIZE - ipBUFFER_PADDING ) ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/libslirp/ |
| D | MBuffNetworkInterface.c | 327 #define BUFFER_SIZE ( ipTOTAL_ETHERNET_FRAME_SIZE + ipBUFFER_PADDING )
365 …Buffers[ uxIndex ].pucEthernetBuffer = &( pucNetworkPacketBuffers[ uxOffset + ipBUFFER_PADDING ] ); in vNetworkInterfaceAllocateRAMToBuffers()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
| D | FreeRTOS_IP.h | 116 #define ipBUFFER_PADDING ipconfigBUFFER_PADDING macro
118 #define ipBUFFER_PADDING ( 8U + ipconfigPACKET_FILLER_SIZE ) macro
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/xilinx_ultrascale/ |
| D | NetworkInterface.c | 418 pxNetworkBuffers[ ul ].pucEthernetBuffer = ucRAMBuffer + ipBUFFER_PADDING; in vNetworkInterfaceAllocateRAMToBuffers()
439 pxNetworkBuffers[ ul ].pucEthernetBuffer = ucRAMBuffer + ipBUFFER_PADDING; in vNetworkInterfaceAllocateRAMToBuffers()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/Zynq/ |
| D | NetworkInterface.c | 494 pxNetworkBuffers[ ul ].pucEthernetBuffer = ucRAMBuffer + ipBUFFER_PADDING; in vNetworkInterfaceAllocateRAMToBuffers()
515 pxNetworkBuffers[ ul ].pucEthernetBuffer = ucRAMBuffer + ipBUFFER_PADDING; in vNetworkInterfaceAllocateRAMToBuffers()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/stubs/ |
| D | freertos_api.c | 257 xRequestedSizeBytes + ipBUFFER_PADDING < CBMC_MAX_OBJECT_SIZE, in pxGetNetworkBufferWithDescriptor()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/M487/ |
| D | NetworkInterface.c | 190 pxNetworkBuffers[ ul ].pucEthernetBuffer = ucRAMBuffer + ipBUFFER_PADDING; in vNetworkInterfaceAllocateRAMToBuffers()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/TM4C/ |
| D | NetworkInterface.c | 60 #define BUFFER_SIZE ( ipTOTAL_ETHERNET_FRAME_SIZE + ipBUFFER_PADDING )
413 pxNetworkBuffers[ i ].pucEthernetBuffer = &_network_buffers[ i ][ ipBUFFER_PADDING ]; in vNetworkInterfaceAllocateRAMToBuffers()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_Utils/ |
| D | FreeRTOS_IP_Utils_utest.c | 297 pvBuffer = ( const void * ) ( uxAddrOfNetBuffer + uxOffset + ipBUFFER_PADDING + 1 ); in test_prvPacketBuffer_to_NetworkBuffer_Unalligned()
313 uint8_t ucEthBuf[ ipBUFFER_PADDING + ipconfigTCP_MSS ]; in test_prvPacketBuffer_to_NetworkBuffer_Alligned()
320 pxAddrOfNetBuffer->pucEthernetBuffer += ( uxOffset + ipBUFFER_PADDING ); in test_prvPacketBuffer_to_NetworkBuffer_Alligned()
337 uint8_t ucEthBuf[ ipBUFFER_PADDING + ipconfigTCP_MSS ]; in test_pxUDPPayloadBuffer_to_NetworkBuffer()
345 pxAddrOfNetBuffer->pucEthernetBuffer += ( uxOffset + ipBUFFER_PADDING ); in test_pxUDPPayloadBuffer_to_NetworkBuffer()
376 uint8_t ucEthBuf[ ipBUFFER_PADDING + ipconfigTCP_MSS ]; in test_pxUDPPayloadBuffer_to_NetworkBuffer_UnknownIPType()
388 pxNetBufferToReturn->pucEthernetBuffer += ( uxOffset + ipBUFFER_PADDING ); in test_pxUDPPayloadBuffer_to_NetworkBuffer_UnknownIPType()
404 uint8_t ucEthBuf[ ipBUFFER_PADDING + ipconfigTCP_MSS ]; in test_pxUDPPayloadBuffer_to_NetworkBuffer_IPv6()
418 pucPayloadBuffer = &ucEthBuf[ uxOffset + ipBUFFER_PADDING ]; in test_pxUDPPayloadBuffer_to_NetworkBuffer_IPv6()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/STM32Fxx/ |
| D | NetworkInterface.c | 81 #define EMAC_DMA_BUFFER_SIZE ( ( uint32_t ) ( ETH_MAX_PACKET_SIZE - ipBUFFER_PADDING ) )
90 #define NETWORK_BUFFER_HEADER_SIZE ( ipBUFFER_PADDING )
1414 pxNetworkBuffers[ ul ].pucEthernetBuffer = ucRAMBuffer + ipBUFFER_PADDING; in vNetworkInterfaceAllocateRAMToBuffers()
|
| /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 )
1011 pxNetworkBuffers[ x ].pucEthernetBuffer = &( ucBuffers[ x ][ ipBUFFER_PADDING ] ); in vNetworkInterfaceAllocateRAMToBuffers()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/WinPCap/ |
| D | NetworkInterface.c | 946 #define BUFFER_SIZE ( ipTOTAL_ETHERNET_FRAME_SIZE + ipBUFFER_PADDING )
979 …Buffers[ uxIndex ].pucEthernetBuffer = &( pucNetworkPacketBuffers[ uxOffset + ipBUFFER_PADDING ] ); in vNetworkInterfaceAllocateRAMToBuffers()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/linux/ |
| D | NetworkInterface.c | 1093 #define BUFFER_SIZE ( ipTOTAL_ETHERNET_FRAME_SIZE + ipBUFFER_PADDING )
1131 …Buffers[ uxIndex ].pucEthernetBuffer = &( pucNetworkPacketBuffers[ uxOffset + ipBUFFER_PADDING ] ); in vNetworkInterfaceAllocateRAMToBuffers()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/STM32Hxx/ |
| D | NetworkInterface.c | 286 xEthHandle.Init.RxBuffLen = ( ETH_RX_BUF_SIZE - ipBUFFER_PADDING ) & ~( ( uint32_t ) 3U ); in xSTM32H_NetworkInterfaceInitialise()
988 pxNetworkBuffers[ ul ].pucEthernetBuffer = ucRAMBuffer + ipBUFFER_PADDING; in vNetworkInterfaceAllocateRAMToBuffers()
|
