| /FreeRTOS-Plus-TCP-v3.1.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 | 157 static void prvHandleEthernetPacket( NetworkBufferDescriptor_t * pxBuffer );
563 static void prvHandleEthernetPacket( NetworkBufferDescriptor_t * pxBuffer ) in prvHandleEthernetPacket() argument
570 prvProcessEthernetPacket( pxBuffer ); in prvHandleEthernetPacket()
584 while( pxBuffer != NULL ) in prvHandleEthernetPacket()
587 pxNextBuffer = pxBuffer->pxNextBuffer; in prvHandleEthernetPacket()
590 pxBuffer->pxNextBuffer = NULL; in prvHandleEthernetPacket()
592 prvProcessEthernetPacket( pxBuffer ); in prvHandleEthernetPacket()
593 pxBuffer = pxNextBuffer; in prvHandleEthernetPacket()
|
| D | FreeRTOS_Sockets.c | 3614 StreamBuffer_t * pxBuffer = NULL; in FreeRTOS_get_tx_head() local
3622 pxBuffer = pxSocket->u.xTCP.txStream; in FreeRTOS_get_tx_head()
3624 if( pxBuffer != NULL ) in FreeRTOS_get_tx_head()
3626 size_t uxSpace = uxStreamBufferGetSpace( pxBuffer ); in FreeRTOS_get_tx_head()
3627 size_t uxRemain = pxBuffer->LENGTH - pxBuffer->uxHead; in FreeRTOS_get_tx_head()
3638 pucReturn = &( pxBuffer->ucArray[ pxBuffer->uxHead ] ); in FreeRTOS_get_tx_head()
4183 StreamBuffer_t * pxBuffer; in prvTCPCreateStream() local
4236 uxSize = ( sizeof( *pxBuffer ) + uxLength ) - sizeof( pxBuffer->ucArray ); in prvTCPCreateStream()
4238 pxBuffer = ( ( StreamBuffer_t * ) pvPortMallocLarge( uxSize ) ); in prvTCPCreateStream()
4240 if( pxBuffer == NULL ) in prvTCPCreateStream()
[all …]
|
| /FreeRTOS-Plus-TCP-v3.1.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-v3.1.0/source/portable/NetworkInterface/Zynq/ |
| D | x_emacpsif_dma.c | 128 NetworkBufferDescriptor_t * pxBuffer; in emacps_check_tx() local
133 pxBuffer = pxPacketBuffer_to_NetworkBuffer( pvBuffer ); in emacps_check_tx()
135 if( pxBuffer != NULL ) in emacps_check_tx()
137 vReleaseNetworkBufferAndDescriptor( pxBuffer ); in emacps_check_tx()
212 NetworkBufferDescriptor_t * pxBuffer, in emacps_send_message() argument
228 if( xValidLength( pxBuffer->xDataLength ) != pdTRUE ) in emacps_send_message()
245 pxDMA_tx_buffers[ head ] = pxBuffer->pucEthernetBuffer; in emacps_send_message()
247 if( ucIsCachedMemory( pxBuffer->pucEthernetBuffer ) != 0 ) in emacps_send_message()
249 Xil_DCacheFlushRange( ( unsigned ) pxBuffer->pucEthernetBuffer, pxBuffer->xDataLength ); in emacps_send_message()
258 ulFlags |= ( pxBuffer->xDataLength & XEMACPS_TXBUF_LEN_MASK ); in emacps_send_message()
[all …]
|
| D | NetworkInterface.c | 219 BaseType_t xNetworkInterfaceOutput( NetworkBufferDescriptor_t * const pxBuffer, in xNetworkInterfaceOutput() argument
228 pxPacket = ( ProtocolPacket_t * ) ( pxBuffer->pucEthernetBuffer ); in xNetworkInterfaceOutput()
237 …usGenerateProtocolChecksum( ( uint8_t * ) &( pxPacket->xUDPPacket ), pxBuffer->xDataLength, pdTRUE… in xNetworkInterfaceOutput()
245 emacps_send_message( &xEMACpsif, pxBuffer, bReleaseAfterSend ); in xNetworkInterfaceOutput()
250 vReleaseNetworkBufferAndDescriptor( pxBuffer ); in xNetworkInterfaceOutput()
|
| D | x_emacpsif.h | 121 struct xNETWORK_BUFFER * pxBuffer,
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/xilinx_ultrascale/ |
| D | x_emacpsif_dma.c | 159 NetworkBufferDescriptor_t * pxBuffer; in emacps_check_tx() local
164 pxBuffer = pxPacketBuffer_to_NetworkBuffer( pvBuffer ); in emacps_check_tx()
166 if( pxBuffer != NULL ) in emacps_check_tx()
168 vReleaseNetworkBufferAndDescriptor( pxBuffer ); in emacps_check_tx()
243 NetworkBufferDescriptor_t * pxBuffer, in emacps_send_message() argument
259 if( xValidLength( pxBuffer->xDataLength ) != pdTRUE ) in emacps_send_message()
276 pxDMA_tx_buffers[ head ] = pxBuffer->pucEthernetBuffer; in emacps_send_message()
278 if( ucIsCachedMemory( pxBuffer->pucEthernetBuffer ) != 0 ) in emacps_send_message()
280 … Xil_DCacheFlushRange( ( INTPTR ) pxBuffer->pucEthernetBuffer, ( INTPTR ) pxBuffer->xDataLength ); in emacps_send_message()
289 ulFlags |= ( pxBuffer->xDataLength & XEMACPS_TXBUF_LEN_MASK ); in emacps_send_message()
[all …]
|
| D | NetworkInterface.c | 320 BaseType_t xNetworkInterfaceOutput( NetworkBufferDescriptor_t * const pxBuffer, in xNetworkInterfaceOutput() argument
329 pxPacket = ( ProtocolPacket_t * ) ( pxBuffer->pucEthernetBuffer ); in xNetworkInterfaceOutput()
338 …usGenerateProtocolChecksum( ( uint8_t * ) &( pxPacket->xUDPPacket ), pxBuffer->xDataLength, pdTRUE… in xNetworkInterfaceOutput()
346 emacps_send_message( &xEMACpsif, pxBuffer, bReleaseAfterSend ); in xNetworkInterfaceOutput()
351 vReleaseNetworkBufferAndDescriptor( pxBuffer ); in xNetworkInterfaceOutput()
|
| D | x_emacpsif.h | 130 struct xNETWORK_BUFFER * pxBuffer,
|
| /FreeRTOS-Plus-TCP-v3.1.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-v3.1.0/tools/tcp_utilities/ |
| D | tcp_mem_stats.c | 213 StreamBuffer_t * pxBuffer = NULL; in vWriteHeader() local
214 size_t uxTara = sizeof( *pxBuffer ) - sizeof( pxBuffer->ucArray ); in vWriteHeader()
366 StreamBuffer_t * pxBuffer = NULL; in vTCPMemStatCreate() local
377 size_t uxTara = sizeof( *pxBuffer ) - sizeof( pxBuffer->ucArray ); in vTCPMemStatCreate()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/ATSAM4E/ |
| D | NetworkInterface.c | 523 NetworkBufferDescriptor_t * pxBuffer; in prvEMACHandlerTask() local
589 pxBuffer = pxPacketBuffer_to_NetworkBuffer( pucBuffer ); in prvEMACHandlerTask()
591 if( pxBuffer != NULL ) in prvEMACHandlerTask()
593 vReleaseNetworkBufferAndDescriptor( pxBuffer ); in prvEMACHandlerTask()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/DriverSAM/ |
| D | NetworkInterface.c | 846 NetworkBufferDescriptor_t * pxBuffer; in prvEMACHandlerTask() local
906 pxBuffer = pxPacketBuffer_to_NetworkBuffer( pucBuffer ); in prvEMACHandlerTask()
908 if( pxBuffer != NULL ) in prvEMACHandlerTask()
910 vReleaseNetworkBufferAndDescriptor( pxBuffer ); in prvEMACHandlerTask()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/STM32Fxx/ |
| D | NetworkInterface.c | 598 NetworkBufferDescriptor_t * pxBuffer; in prvDMARxDescListInit() local
600 pxBuffer = pxGetNetworkBufferWithDescriptor( EMAC_DMA_BUFFER_SIZE, 100ul ); in prvDMARxDescListInit()
604 configASSERT( pxBuffer != NULL ); in prvDMARxDescListInit()
606 if( pxBuffer != NULL ) in prvDMARxDescListInit()
608 pxDMADescriptor->Buffer1Addr = ( uint32_t ) pxBuffer->pucEthernetBuffer; in prvDMARxDescListInit()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP_DiffConfig/ |
| D | FreeRTOS_IP_DiffConfig_utest.c | 84 static size_t StubuxStreamBufferGetPtr_ReturnBadAddress( StreamBuffer_t * pxBuffer, in StubuxStreamBufferGetPtr_ReturnBadAddress() argument
93 static size_t StubuxStreamBufferGetPtr_ReturnIncorrectSize( StreamBuffer_t * pxBuffer, in StubuxStreamBufferGetPtr_ReturnIncorrectSize() argument
102 static size_t StubuxStreamBufferGetPtr_ReturnCorrectVals( StreamBuffer_t * pxBuffer, in StubuxStreamBufferGetPtr_ReturnCorrectVals() argument
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP/ |
| D | FreeRTOS_IP_utest.c | 83 static size_t StubuxStreamBufferGetPtr_ReturnBadAddress( StreamBuffer_t * pxBuffer, in StubuxStreamBufferGetPtr_ReturnBadAddress() argument
92 static size_t StubuxStreamBufferGetPtr_ReturnIncorrectSize( StreamBuffer_t * pxBuffer, in StubuxStreamBufferGetPtr_ReturnIncorrectSize() argument
101 static size_t StubuxStreamBufferGetPtr_ReturnCorrectVals( StreamBuffer_t * pxBuffer, in StubuxStreamBufferGetPtr_ReturnCorrectVals() argument
|
