| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_Stream_Buffer.c | 56 size_t uxStreamBufferSpace( const StreamBuffer_t * pxBuffer, in uxStreamBufferSpace() argument
62 uxCount = pxBuffer->LENGTH + uxUpper - uxLower - 1U; in uxStreamBufferSpace()
64 if( uxCount >= pxBuffer->LENGTH ) in uxStreamBufferSpace()
66 uxCount -= pxBuffer->LENGTH; in uxStreamBufferSpace()
79 size_t uxStreamBufferDistance( const StreamBuffer_t * pxBuffer, in uxStreamBufferDistance() argument
85 uxCount = pxBuffer->LENGTH + uxUpper - uxLower; in uxStreamBufferDistance()
87 if( uxCount >= pxBuffer->LENGTH ) in uxStreamBufferDistance()
89 uxCount -= pxBuffer->LENGTH; in uxStreamBufferDistance()
102 size_t uxStreamBufferGetSpace( const StreamBuffer_t * pxBuffer ) in uxStreamBufferGetSpace() argument
104 size_t uxHead = pxBuffer->uxHead; in uxStreamBufferGetSpace()
[all …]
|
| D | FreeRTOS_IP.c | 168 static void prvHandleEthernetPacket( NetworkBufferDescriptor_t * pxBuffer );
676 static void prvHandleEthernetPacket( NetworkBufferDescriptor_t * pxBuffer ) in prvHandleEthernetPacket() argument
683 prvProcessEthernetPacket( pxBuffer ); in prvHandleEthernetPacket()
697 while( pxBuffer != NULL ) in prvHandleEthernetPacket()
700 pxNextBuffer = pxBuffer->pxNextBuffer; in prvHandleEthernetPacket()
703 pxBuffer->pxNextBuffer = NULL; in prvHandleEthernetPacket()
705 prvProcessEthernetPacket( pxBuffer ); in prvHandleEthernetPacket()
706 pxBuffer = pxNextBuffer; in prvHandleEthernetPacket()
1047 NetworkBufferDescriptor_t * pxBuffer; in FreeRTOS_ReleaseUDPPayloadBuffer() local
1049 pxBuffer = pxUDPPayloadBuffer_to_NetworkBuffer( pvBuffer ); in FreeRTOS_ReleaseUDPPayloadBuffer()
[all …]
|
| D | FreeRTOS_Sockets.c | 4380 StreamBuffer_t * pxBuffer = NULL; in FreeRTOS_get_tx_head() local
4388 pxBuffer = pxSocket->u.xTCP.txStream; in FreeRTOS_get_tx_head()
4390 if( pxBuffer != NULL ) in FreeRTOS_get_tx_head()
4392 size_t uxSpace = uxStreamBufferGetSpace( pxBuffer ); in FreeRTOS_get_tx_head()
4393 size_t uxRemain = pxBuffer->LENGTH - pxBuffer->uxHead; in FreeRTOS_get_tx_head()
4404 pucReturn = &( pxBuffer->ucArray[ pxBuffer->uxHead ] ); in FreeRTOS_get_tx_head()
4990 StreamBuffer_t * pxBuffer; in prvTCPCreateStream() local
5043 uxSize = ( sizeof( *pxBuffer ) + uxLength ) - sizeof( pxBuffer->ucArray ); in prvTCPCreateStream()
5048 pxBuffer = ( ( StreamBuffer_t * ) pvPortMallocLarge( uxSize ) ); in prvTCPCreateStream()
5050 if( pxBuffer == NULL ) in prvTCPCreateStream()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
| D | FreeRTOS_Stream_Buffer.h | 59 void vStreamBufferClear( StreamBuffer_t * pxBuffer );
62 size_t uxStreamBufferSpace( const StreamBuffer_t * pxBuffer,
67 size_t uxStreamBufferDistance( const StreamBuffer_t * pxBuffer,
72 size_t uxStreamBufferGetSpace( const StreamBuffer_t * pxBuffer );
75 size_t uxStreamBufferFrontSpace( const StreamBuffer_t * pxBuffer );
78 size_t uxStreamBufferGetSize( const StreamBuffer_t * pxBuffer );
81 size_t uxStreamBufferMidSpace( const StreamBuffer_t * pxBuffer );
84 void vStreamBufferMoveMid( StreamBuffer_t * pxBuffer,
88 BaseType_t xStreamBufferLessThenEqual( const StreamBuffer_t * pxBuffer,
93 size_t uxStreamBufferGetPtr( StreamBuffer_t * pxBuffer,
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/Zynq/ |
| D | x_emacpsif_dma.c | 165 NetworkBufferDescriptor_t * pxBuffer; in emacps_check_tx() local
170 pxBuffer = pxPacketBuffer_to_NetworkBuffer( pvBuffer ); in emacps_check_tx()
172 if( pxBuffer != NULL ) in emacps_check_tx()
174 vReleaseNetworkBufferAndDescriptor( pxBuffer ); in emacps_check_tx()
251 NetworkBufferDescriptor_t * pxBuffer, in emacps_send_message() argument
268 if( xValidLength( pxBuffer->xDataLength ) != pdTRUE ) in emacps_send_message()
285 pxDMA_tx_buffers[ xEMACIndex ][ txHead ] = pxBuffer->pucEthernetBuffer; in emacps_send_message()
287 if( ucIsCachedMemory( pxBuffer->pucEthernetBuffer ) != 0 ) in emacps_send_message()
289 … Xil_DCacheFlushRange( ( INTPTR ) pxBuffer->pucEthernetBuffer, ( u32 ) pxBuffer->xDataLength ); in emacps_send_message()
298 ulFlags |= ( pxBuffer->xDataLength & XEMACPS_TXBUF_LEN_MASK ); in emacps_send_message()
[all …]
|
| D | NetworkInterface.c | 152 NetworkBufferDescriptor_t * const pxBuffer,
382 NetworkBufferDescriptor_t * const pxBuffer, in xZynqNetworkInterfaceOutput() argument
396 pxPacket = ( ProtocolPacket_t * ) ( pxBuffer->pucEthernetBuffer ); in xZynqNetworkInterfaceOutput()
399 … ICMPPacket_IPv6_t * pxICMPPacket = ( ICMPPacket_IPv6_t * ) pxBuffer->pucEthernetBuffer; in xZynqNetworkInterfaceOutput()
407 … usGenerateProtocolChecksum( pxBuffer->pucEthernetBuffer, pxBuffer->xDataLength, pdTRUE ); in xZynqNetworkInterfaceOutput()
417 … usGenerateProtocolChecksum( pxBuffer->pucEthernetBuffer, pxBuffer->xDataLength, pdTRUE ); in xZynqNetworkInterfaceOutput()
428 emacps_send_message( &( xEMACpsifs[ xEMACIndex ] ), pxBuffer, bReleaseAfterSend ); in xZynqNetworkInterfaceOutput()
433 vReleaseNetworkBufferAndDescriptor( pxBuffer ); in xZynqNetworkInterfaceOutput()
|
| D | x_emacpsif.h | 124 struct xNETWORK_BUFFER * pxBuffer,
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/xilinx_ultrascale/ |
| D | x_emacpsif_dma.c | 165 NetworkBufferDescriptor_t * pxBuffer; in emacps_check_tx() local
170 pxBuffer = pxPacketBuffer_to_NetworkBuffer( pvBuffer ); in emacps_check_tx()
172 if( pxBuffer != NULL ) in emacps_check_tx()
174 vReleaseNetworkBufferAndDescriptor( pxBuffer ); in emacps_check_tx()
249 NetworkBufferDescriptor_t * pxBuffer, in emacps_send_message() argument
265 if( xValidLength( pxBuffer->xDataLength ) != pdTRUE ) in emacps_send_message()
282 pxDMA_tx_buffers[ head ] = pxBuffer->pucEthernetBuffer; in emacps_send_message()
284 if( ucIsCachedMemory( pxBuffer->pucEthernetBuffer ) != 0 ) in emacps_send_message()
286 … Xil_DCacheFlushRange( ( INTPTR ) pxBuffer->pucEthernetBuffer, ( INTPTR ) pxBuffer->xDataLength ); in emacps_send_message()
295 ulFlags |= ( pxBuffer->xDataLength & XEMACPS_TXBUF_LEN_MASK ); in emacps_send_message()
[all …]
|
| D | NetworkInterface.c | 329 BaseType_t xNetworkInterfaceOutput( NetworkBufferDescriptor_t * const pxBuffer, in xNetworkInterfaceOutput() argument
338 pxPacket = ( ProtocolPacket_t * ) ( pxBuffer->pucEthernetBuffer ); in xNetworkInterfaceOutput()
347 …usGenerateProtocolChecksum( ( uint8_t * ) &( pxPacket->xUDPPacket ), pxBuffer->xDataLength, pdTRUE… in xNetworkInterfaceOutput()
355 emacps_send_message( &xEMACpsif, pxBuffer, bReleaseAfterSend ); in xNetworkInterfaceOutput()
360 vReleaseNetworkBufferAndDescriptor( pxBuffer ); in xNetworkInterfaceOutput()
|
| D | x_emacpsif.h | 127 struct xNETWORK_BUFFER * pxBuffer,
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/IP/HandleEthernetPacket/ |
| D | HandleEthernetPacket_harness.c | 42 …__CPROVER_file_local_FreeRTOS_IP_c_prvHandleEthernetPacket( NetworkBufferDescriptor_t * pxBuffer );
73 NetworkBufferDescriptor_t * pxBuffer; in harness() local
82 pxBuffer = pxGetNetworkBufferWithDescriptor( uBuffSize, xBlockTimeTicks ); in harness()
83 pxBuffer->pxNextBuffer = pxGetNetworkBufferWithDescriptor( uBuffSize, xBlockTimeTicks ); in harness()
85 __CPROVER_assume( pxBuffer->pxNextBuffer->pxNextBuffer == NULL ); in harness()
87 __CPROVER_file_local_FreeRTOS_IP_c_prvHandleEthernetPacket( pxBuffer ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPPrepareSend/ |
| D | TCPPrepareSend_harness.c | 50 NetworkBufferDescriptor_t * pxBuffer = ensure_FreeRTOS_NetworkBuffer_is_allocated(); in pxGetNetworkBufferWithDescriptor() local
53 if( ensure_memory_is_valid( pxBuffer, bufferSize ) ) in pxGetNetworkBufferWithDescriptor()
57 pxBuffer->pucEthernetBuffer = malloc( xRequestedSizeBytes ); in pxGetNetworkBufferWithDescriptor()
58 __CPROVER_assume( pxBuffer->pucEthernetBuffer != NULL ); in pxGetNetworkBufferWithDescriptor()
59 pxBuffer->xDataLength = xRequestedSizeBytes; in pxGetNetworkBufferWithDescriptor()
62 return pxBuffer; in pxGetNetworkBufferWithDescriptor()
|
| /FreeRTOS-Plus-TCP-v4.0.0/tools/tcp_utilities/ |
| D | tcp_mem_stats.c | 206 StreamBuffer_t * pxBuffer = NULL; in vWriteHeader() local
207 size_t uxTara = sizeof( *pxBuffer ) - sizeof( pxBuffer->ucArray ); in vWriteHeader()
359 StreamBuffer_t * pxBuffer = NULL; in vTCPMemStatCreate() local
370 size_t uxTara = sizeof( *pxBuffer ) - sizeof( pxBuffer->ucArray ); in vTCPMemStatCreate()
|
| D | plus_tcp_demo_cli.c | 564 NetworkBufferDescriptor_t * pxBuffer; in handle_arpq() local
579 …pxBuffer = pxGetNetworkBufferWithDescriptor( BUFFER_FROM_WHERE_CALL( 180 ) uxNeededSize, pdMS_TO_T… in handle_arpq()
581 if( pxBuffer != NULL ) in handle_arpq()
583 … UDPPacket_t * pxUDPPacket = ( ( UDPPacket_t * ) pxBuffer->pucEthernetBuffer ); in handle_arpq()
586 …memcpy( pxBuffer->xIPAddress.xIP_IPv6.ucBytes, xLookupAddress.xIP_IPv6.ucBytes, ipSIZE_OF_IPv6_ADD… in handle_arpq()
588 pxBuffer->pxEndPoint = pxEndPoint; in handle_arpq()
589 pxBuffer->pxInterface = pxBuffer->pxEndPoint->pxNetworkInterface; in handle_arpq()
591 pxBuffer->xIPAddress.xIP_IPv6.ucBytes, in handle_arpq()
592 ( pxBuffer->pxEndPoint != NULL ) ? "" : "out" ) ); in handle_arpq()
594 … vNDSendNeighbourSolicitation( pxBuffer, &( pxBuffer->xIPAddress.xIP_IPv6 ) ); in handle_arpq()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/WinPCap/ |
| D | NetworkInterface.c | 126 static size_t prvStreamBufferAdd( StreamBuffer_t * pxBuffer,
239 static size_t prvStreamBufferAdd( StreamBuffer_t * pxBuffer, in prvStreamBufferAdd() argument
246 uxSpace = uxStreamBufferGetSpace( pxBuffer ); in prvStreamBufferAdd()
254 uxNextHead = pxBuffer->uxHead; in prvStreamBufferAdd()
261 uxFirst = FreeRTOS_min_size_t( pxBuffer->LENGTH - uxNextHead, uxCount ); in prvStreamBufferAdd()
264 ( void ) memcpy( &( pxBuffer->ucArray[ uxNextHead ] ), pucData, uxFirst ); in prvStreamBufferAdd()
272 ( void ) memcpy( pxBuffer->ucArray, &( pucData[ uxFirst ] ), uxCount - uxFirst ); in prvStreamBufferAdd()
278 if( uxNextHead >= pxBuffer->LENGTH ) in prvStreamBufferAdd()
280 uxNextHead -= pxBuffer->LENGTH; in prvStreamBufferAdd()
283 pxBuffer->uxHead = uxNextHead; in prvStreamBufferAdd()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/linux/ |
| D | NetworkInterface.c | 98 static size_t prvStreamBufferAdd( StreamBuffer_t * pxBuffer,
169 static size_t prvStreamBufferAdd( StreamBuffer_t * pxBuffer, in prvStreamBufferAdd() argument
176 uxSpace = uxStreamBufferGetSpace( pxBuffer ); in prvStreamBufferAdd()
184 uxNextHead = pxBuffer->uxHead; in prvStreamBufferAdd()
191 uxFirst = FreeRTOS_min_size_t( pxBuffer->LENGTH - uxNextHead, uxCount ); in prvStreamBufferAdd()
194 ( void ) memcpy( &( pxBuffer->ucArray[ uxNextHead ] ), pucData, uxFirst ); in prvStreamBufferAdd()
202 ( void ) memcpy( pxBuffer->ucArray, &( pucData[ uxFirst ] ), uxCount - uxFirst ); in prvStreamBufferAdd()
208 if( uxNextHead >= pxBuffer->LENGTH ) in prvStreamBufferAdd()
210 uxNextHead -= pxBuffer->LENGTH; in prvStreamBufferAdd()
213 pxBuffer->uxHead = uxNextHead; in prvStreamBufferAdd()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/STM32Hxx/ |
| D | NetworkInterface.c | 189 NetworkBufferDescriptor_t * const pxBuffer,
530 NetworkBufferDescriptor_t * const pxBuffer, in xSTM32H_NetworkInterfaceOutput() argument
541 pucTXBuffer = pxBuffer->pucEthernetBuffer; in xSTM32H_NetworkInterfaceOutput()
549 configASSERT( pxBuffer->xDataLength <= sizeof( Tx_Buff[ 0 ] ) ); in xSTM32H_NetworkInterfaceOutput()
555 .len = pxBuffer->xDataLength, in xSTM32H_NetworkInterfaceOutput()
559 xTxConfig.Length = pxBuffer->xDataLength; in xSTM32H_NetworkInterfaceOutput()
585 memcpy( pucTXBuffer, pxBuffer->pucEthernetBuffer, pxBuffer->xDataLength ); in xSTM32H_NetworkInterfaceOutput()
609 vReleaseNetworkBufferAndDescriptor( pxBuffer ); in xSTM32H_NetworkInterfaceOutput()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/ATSAM4E/ |
| D | NetworkInterface.c | 527 NetworkBufferDescriptor_t * pxBuffer; in prvEMACHandlerTask() local
593 pxBuffer = pxPacketBuffer_to_NetworkBuffer( pucBuffer ); in prvEMACHandlerTask()
595 if( pxBuffer != NULL ) in prvEMACHandlerTask()
597 vReleaseNetworkBufferAndDescriptor( pxBuffer ); in prvEMACHandlerTask()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/STM32Fxx/ |
| D | NetworkInterface.c | 212 NetworkBufferDescriptor_t * const pxBuffer,
350 NetworkBufferDescriptor_t * const pxBuffer, in xNetworkInterfaceOutput() argument
353 return xSTM32F_NetworkInterfaceOutput( pxInterface, pxBuffer, bReleaseAfterSend ); in xNetworkInterfaceOutput()
721 NetworkBufferDescriptor_t * pxBuffer; in prvDMARxDescListInit() local
723 pxBuffer = pxGetNetworkBufferWithDescriptor( EMAC_DMA_BUFFER_SIZE, 100ul ); in prvDMARxDescListInit()
727 configASSERT( pxBuffer != NULL ); in prvDMARxDescListInit()
729 if( pxBuffer != NULL ) in prvDMARxDescListInit()
731 pxDMADescriptor->Buffer1Addr = ( uint32_t ) pxBuffer->pucEthernetBuffer; in prvDMARxDescListInit()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/DriverSAM/ |
| D | NetworkInterface.c | 191 NetworkBufferDescriptor_t * const pxBuffer,
1129 NetworkBufferDescriptor_t * pxBuffer; in prvEMACHandlerTask() local
1166 pxBuffer = pxPacketBuffer_to_NetworkBuffer( pucBuffer ); in prvEMACHandlerTask()
1168 if( pxBuffer != NULL ) in prvEMACHandlerTask()
1170 vReleaseNetworkBufferAndDescriptor( pxBuffer ); in prvEMACHandlerTask()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_DiffConfig/ |
| D | FreeRTOS_IP_DiffConfig_utest.c | 102 static size_t StubuxStreamBufferGetPtr_ReturnBadAddress( StreamBuffer_t * pxBuffer, in StubuxStreamBufferGetPtr_ReturnBadAddress() argument
111 static size_t StubuxStreamBufferGetPtr_ReturnIncorrectSize( StreamBuffer_t * pxBuffer, in StubuxStreamBufferGetPtr_ReturnIncorrectSize() argument
120 static size_t StubuxStreamBufferGetPtr_ReturnCorrectVals( StreamBuffer_t * pxBuffer, in StubuxStreamBufferGetPtr_ReturnCorrectVals() argument
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_DiffConfig1/ |
| D | FreeRTOS_IP_DiffConfig1_utest.c | 101 static size_t StubuxStreamBufferGetPtr_ReturnBadAddress( StreamBuffer_t * pxBuffer, in StubuxStreamBufferGetPtr_ReturnBadAddress() argument
110 static size_t StubuxStreamBufferGetPtr_ReturnIncorrectSize( StreamBuffer_t * pxBuffer, in StubuxStreamBufferGetPtr_ReturnIncorrectSize() argument
119 static size_t StubuxStreamBufferGetPtr_ReturnCorrectVals( StreamBuffer_t * pxBuffer, in StubuxStreamBufferGetPtr_ReturnCorrectVals() argument
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP/ |
| D | FreeRTOS_IP_utest.c | 122 static size_t StubuxStreamBufferGetPtr_ReturnBadAddress( StreamBuffer_t * pxBuffer, in StubuxStreamBufferGetPtr_ReturnBadAddress() argument
131 static size_t StubuxStreamBufferGetPtr_ReturnIncorrectSize( StreamBuffer_t * pxBuffer, in StubuxStreamBufferGetPtr_ReturnIncorrectSize() argument
140 static size_t StubuxStreamBufferGetPtr_ReturnCorrectVals( StreamBuffer_t * pxBuffer, in StubuxStreamBufferGetPtr_ReturnCorrectVals() argument
|
