/FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
D | FreeRTOS_Stream_Buffer.h | 57 } StreamBuffer_t; typedef 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, [all …]
|
D | FreeRTOS_IP_Private.h | 612 … StreamBuffer_t * rxStream; /**< The pointer to the receive stream buffer. */ 613 … StreamBuffer_t * txStream; /**< The pointer to the transmit stream buffer. */
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Stream_Buffer/ |
D | FreeRTOS_Stream_Buffer_utest.c | 77 StreamBuffer_t xLocalBuffer; in test_uxStreamBufferSpace_SameLocation() 93 StreamBuffer_t xLocalBuffer; in test_uxStreamBufferSpace_UpperGTLower() 109 StreamBuffer_t xLocalBuffer; in test_uxStreamBufferSpace_UpperLTLower() 125 StreamBuffer_t xLocalBuffer; in test_uxStreamBufferDistance_SameLocation() 141 StreamBuffer_t xLocalBuffer; in test_uxStreamBufferDistance_UpperGTLower() 157 StreamBuffer_t xLocalBuffer; in test_uxStreamBufferDistance_UpperLTLower() 177 StreamBuffer_t xLocalBuffer; in test_uxStreamBufferGetSpace() 197 StreamBuffer_t xLocalBuffer; in test_uxStreamBufferFrontSpace() 217 StreamBuffer_t xLocalBuffer; in test_uxStreamBufferGetSize() 237 StreamBuffer_t xLocalBuffer; in test_uxStreamBufferMidSpace() [all …]
|
/FreeRTOS-Plus-TCP-v4.0.0/source/ |
D | FreeRTOS_Stream_Buffer.c | 56 size_t uxStreamBufferSpace( const StreamBuffer_t * pxBuffer, in uxStreamBufferSpace() 79 size_t uxStreamBufferDistance( const StreamBuffer_t * pxBuffer, in uxStreamBufferDistance() 102 size_t uxStreamBufferGetSpace( const StreamBuffer_t * pxBuffer ) in uxStreamBufferGetSpace() 117 size_t uxStreamBufferFrontSpace( const StreamBuffer_t * pxBuffer ) in uxStreamBufferFrontSpace() 133 size_t uxStreamBufferGetSize( const StreamBuffer_t * pxBuffer ) in uxStreamBufferGetSize() 148 size_t uxStreamBufferMidSpace( const StreamBuffer_t * pxBuffer ) in uxStreamBufferMidSpace() 161 void vStreamBufferClear( StreamBuffer_t * pxBuffer ) in vStreamBufferClear() 177 void vStreamBufferMoveMid( StreamBuffer_t * pxBuffer, in vStreamBufferMoveMid() 210 BaseType_t xStreamBufferLessThenEqual( const StreamBuffer_t * pxBuffer, in xStreamBufferLessThenEqual() 238 size_t uxStreamBufferGetPtr( StreamBuffer_t * pxBuffer, in uxStreamBufferGetPtr() [all …]
|
D | FreeRTOS_Sockets.c | 183 static StreamBuffer_t * prvTCPCreateStream( FreeRTOS_Socket_t * pxSocket, 4380 StreamBuffer_t * pxBuffer = NULL; in FreeRTOS_get_tx_head() 4987 static StreamBuffer_t * prvTCPCreateStream( FreeRTOS_Socket_t * pxSocket, in prvTCPCreateStream() 4990 StreamBuffer_t * pxBuffer; in prvTCPCreateStream() 5048 pxBuffer = ( ( StreamBuffer_t * ) pvPortMallocLarge( uxSize ) ); in prvTCPCreateStream() 5193 StreamBuffer_t * pxStream = pxSocket->u.xTCP.rxStream; in lTCPAddRxdata()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets/ |
D | FreeRTOS_Sockets_TCP_API_utest.c | 586 xSocket.u.xTCP.rxStream = ( StreamBuffer_t * ) pvBuffer; in test_FreeRTOS_recv_12BytesAlreadyInBuffer() 614 xSocket.u.xTCP.rxStream = ( StreamBuffer_t * ) pvBuffer; in test_FreeRTOS_recv_LowWaterReached() 650 xSocket.u.xTCP.rxStream = ( StreamBuffer_t * ) pvBuffer; in test_FreeRTOS_recv_LowWaterReached2() 682 xSocket.u.xTCP.rxStream = ( StreamBuffer_t * ) pvBuffer; in test_FreeRTOS_recv_12BytesArriveLater() 718 xSocket.u.xTCP.rxStream = ( StreamBuffer_t * ) pvBuffer; in test_FreeRTOS_recv_12BytesArriveLater_Timeout() 744 xSocket.u.xTCP.rxStream = ( StreamBuffer_t * ) pvBuffer; in test_FreeRTOS_recv_SocketClosing() 770 xSocket.u.xTCP.rxStream = ( StreamBuffer_t * ) pvBuffer; in test_FreeRTOS_recv_SocketCloseWait() 818 xSocket.u.xTCP.txStream = ( StreamBuffer_t * ) ucStream; in test_FreeRTOS_get_tx_head_AllNULL() 820 uxStreamBufferGetSpace_ExpectAndReturn( ( StreamBuffer_t * ) ucStream, 0 ); in test_FreeRTOS_get_tx_head_AllNULL() 823 TEST_ASSERT_EQUAL_PTR( ( ( StreamBuffer_t * ) ucStream )->ucArray, pucReturn ); in test_FreeRTOS_get_tx_head_AllNULL() [all …]
|
D | FreeRTOS_Sockets_privates_utest.c | 90 StreamBuffer_t * prvTCPCreateStream( FreeRTOS_Socket_t * pxSocket, 1519 StreamBuffer_t xBuffer; in test_prvSockopt_so_buffer_InvalidOption2() 1565 StreamBuffer_t xBuffer; in test_prvSockopt_so_buffer_InvalidOption4() 2283 StreamBuffer_t xLocalStreamBuffer; in test_prvTCPSendCheck_InvalidValues() 2353 …TEST_ASSERT_EQUAL( ( sizeof( size_t ) & ( ~( sizeof( size_t ) - 1U ) ) ), ( ( StreamBuffer_t * ) u… in test_prvTCPSendCheck_InvalidValues() 2769 StreamBuffer_t * pxReturn; in test_prvTCPCreateStream() 2780 pvPortMalloc_ExpectAndReturn( xSizeOfBufferRequested, ( StreamBuffer_t * ) ucStream ); in test_prvTCPCreateStream() 2794 StreamBuffer_t * pxReturn; in test_prvTCPCreateStream1() 2805 pvPortMalloc_ExpectAndReturn( xSizeOfBufferRequested, ( StreamBuffer_t * ) ucStream ); in test_prvTCPCreateStream1() 2819 StreamBuffer_t * pxReturn; in test_prvTCPCreateStream_LowAndHighFieldsDefined() [all …]
|
D | FreeRTOS_Sockets_GenericAPI_utest.c | 1801 xSocket.u.xTCP.txStream = ( StreamBuffer_t * ) 0x1234; in test_FreeRTOS_setsockopt_WinPropsInvalidTxStream() 1825 xSocket.u.xTCP.rxStream = ( StreamBuffer_t * ) 0x1234; in test_FreeRTOS_setsockopt_WinPropsInvalidRxStream() 2140 xSocket.u.xTCP.txStream = ( StreamBuffer_t * ) 0xABCD; in test_FreeRTOS_setsockopt_SetFullSize_Reset_HappyPath() 2914 xSocket.u.xTCP.txStream = ( StreamBuffer_t * ) ucStream; in test_FreeRTOS_maywrite_HappyPath() 2916 uxStreamBufferGetSpace_ExpectAndReturn( ( StreamBuffer_t * ) ucStream, 0x3344 ); in test_FreeRTOS_maywrite_HappyPath() 3288 xSocket[ 5 ].u.xTCP.txStream = ( StreamBuffer_t * ) ucStream; in test_vSocketSelect_TCPSocketsOnly() 3291 uxStreamBufferGetSpace_ExpectAndReturn( ( StreamBuffer_t * ) ucStream, 0xABCD ); in test_vSocketSelect_TCPSocketsOnly() 3297 xSocket[ 6 ].u.xTCP.txStream = ( StreamBuffer_t * ) ucStream; in test_vSocketSelect_TCPSocketsOnly() 3298 xSocket[ 6 ].u.xTCP.rxStream = ( StreamBuffer_t * ) ucStream; in test_vSocketSelect_TCPSocketsOnly() 3301 uxStreamBufferGetSize_ExpectAndReturn( ( StreamBuffer_t * ) ucStream, 0xAB ); in test_vSocketSelect_TCPSocketsOnly() [all …]
|
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/utility/ |
D | memory_assignments.c | 20 pxSocket->u.xTCP.rxStream = safeMalloc( sizeof( StreamBuffer_t ) ); in ensure_FreeRTOS_Socket_t_is_allocated() 21 pxSocket->u.xTCP.txStream = safeMalloc( sizeof( StreamBuffer_t ) ); in ensure_FreeRTOS_Socket_t_is_allocated()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPPrepareSend/ |
D | TCPPrepareSend_harness.c | 76 pxSocket->u.xTCP.rxStream = malloc( sizeof( StreamBuffer_t ) ); in harness() 77 pxSocket->u.xTCP.txStream = malloc( sizeof( StreamBuffer_t ) ); in harness()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/vSocketClose/ |
D | vSocketClose_harness.c | 79 pxSocket->u.xTCP.rxStream = malloc( sizeof( StreamBuffer_t ) ); in harness() 80 pxSocket->u.xTCP.txStream = malloc( sizeof( StreamBuffer_t ) ); in harness()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Transmission/ |
D | FreeRTOS_TCP_Transmission_utest.c | 283 StreamBuffer_t TxStream; in test_prvTCPSendPacket_Other_State_Something_To_Send() 356 pxSocket->u.xTCP.txStream = ( StreamBuffer_t * ) 0x12345678; in test_prvTCPSendRepeated_Zero_To_Send() 386 StreamBuffer_t StreamBuffer; in test_prvTCPSendRepeated_Repeat_8() 388 pxSocket->u.xTCP.txStream = ( StreamBuffer_t * ) &StreamBuffer; in test_prvTCPSendRepeated_Repeat_8() 738 pxSocket->u.xTCP.rxStream = ( StreamBuffer_t * ) 0x12345678; in test_prvTCPReturnPacket_No_KL() 789 pxSocket->u.xTCP.rxStream = ( StreamBuffer_t * ) 0x12345678; in test_prvTCPReturnPacket_No_KL_LocalIP() 847 pxSocket->u.xTCP.rxStream = ( StreamBuffer_t * ) 0x12345678; in test_prvTCPReturnPacket_No_KL_LocalIP_GT_Eth_Packet_Length() 897 pxSocket->u.xTCP.rxStream = ( StreamBuffer_t * ) 0x12345678; in test_prvTCPReturnPacket_No_KL_LocalIP_ARP_Not_Hit() 950 pxSocket->u.xTCP.rxStream = ( StreamBuffer_t * ) 0x12345678; in test_prvTCPReturnPacket_No_KL_Fin_Suppress_Rx_Stop() 998 pxSocket->u.xTCP.rxStream = ( StreamBuffer_t * ) 0x12345678; in test_prvTCPReturnPacket_No_KL_Fin_Not_Suppress_Low_Water() [all …]
|
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/WinPCap/ |
D | NetworkInterface.c | 126 static size_t prvStreamBufferAdd( StreamBuffer_t * pxBuffer, 165 static StreamBuffer_t * xSendBuffer = NULL; 166 static StreamBuffer_t * xRecvBuffer = NULL; 220 …xSendBuffer = ( StreamBuffer_t * ) malloc( sizeof( *xSendBuffer ) - sizeof( xSendBuffer->ucArray )… in prvCreateThreadSafeBuffers() 230 …xRecvBuffer = ( StreamBuffer_t * ) malloc( sizeof( *xRecvBuffer ) - sizeof( xRecvBuffer->ucArray )… in prvCreateThreadSafeBuffers() 239 static size_t prvStreamBufferAdd( StreamBuffer_t * pxBuffer, in prvStreamBufferAdd()
|
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/linux/ |
D | NetworkInterface.c | 87 static StreamBuffer_t * xSendBuffer = NULL; 88 static StreamBuffer_t * xRecvBuffer = NULL; 98 static size_t prvStreamBufferAdd( StreamBuffer_t * pxBuffer, 169 static size_t prvStreamBufferAdd( StreamBuffer_t * pxBuffer, in prvStreamBufferAdd() 291 …xSendBuffer = ( StreamBuffer_t * ) malloc( sizeof( *xSendBuffer ) - sizeof( xSendBuffer->ucArray )… in prvCreateThreadSafeBuffers() 307 …xRecvBuffer = ( StreamBuffer_t * ) malloc( sizeof( *xRecvBuffer ) - sizeof( xRecvBuffer->ucArray )… in prvCreateThreadSafeBuffers()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/lTCPAddRxdata/ |
D | TCPAddRxdata_harness.c | 21 StreamBuffer_t * __CPROVER_file_local_FreeRTOS_Sockets_c_prvTCPCreateStream( FreeRTOS_Socket_t * px…
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_State_Handling/ |
D | FreeRTOS_TCP_State_Handling_utest.c | 620 pxSocket->u.xTCP.txStream = ( StreamBuffer_t * ) 0x12345678; in test_prvHandleEstablished_ACKHappy() 692 pxSocket->u.xTCP.txStream = ( StreamBuffer_t * ) 0x12345678; in test_prvHandleEstablished_ACKWinZeroRecvZero_HasOption() 727 pxSocket->u.xTCP.txStream = ( StreamBuffer_t * ) 0x12345678; in test_prvHandleEstablished_ACKBufferZeroPrepFalse() 765 pxSocket->u.xTCP.txStream = ( StreamBuffer_t * ) 0x12345678; in test_prvHandleEstablished_ACKHappySelectNoHandler() 804 pxSocket->u.xTCP.txStream = ( StreamBuffer_t * ) 0x12345678; in test_prvHandleEstablished_FINNotSentRXComplete() 846 pxSocket->u.xTCP.txStream = ( StreamBuffer_t * ) 0x12345678; in test_prvHandleEstablished_FINNotSentRXNotComplete() 887 pxSocket->u.xTCP.txStream = ( StreamBuffer_t * ) 0x12345678; in test_prvHandleEstablished_FINNotSentTXWinNotComplete() 928 pxSocket->u.xTCP.txStream = ( StreamBuffer_t * ) 0x12345678; in test_prvHandleEstablished_FINNotSentDataLeft() 1011 pxSocket->u.xTCP.txStream = ( StreamBuffer_t * ) 0x12345678; in test_prvHandleEstablished_FINSent() 1431 pxSocket->u.xTCP.txStream = ( StreamBuffer_t * ) 0x12345678; in test_prvTCPHandleState_Established_FirstFinFromPeer() [all …]
|
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/CheckOptionsInner/ |
D | CheckOptionsInner_harness.c | 53 pxSocket->u.xTCP.txStream = malloc( sizeof( StreamBuffer_t ) ); in harness()
|
/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() 111 static size_t StubuxStreamBufferGetPtr_ReturnIncorrectSize( StreamBuffer_t * pxBuffer, in StubuxStreamBufferGetPtr_ReturnIncorrectSize() 120 static size_t StubuxStreamBufferGetPtr_ReturnCorrectVals( StreamBuffer_t * pxBuffer, in StubuxStreamBufferGetPtr_ReturnCorrectVals()
|
/FreeRTOS-Plus-TCP-v4.0.0/tools/tcp_utilities/ |
D | tcp_mem_stats.c | 206 StreamBuffer_t * pxBuffer = NULL; in vWriteHeader() 359 StreamBuffer_t * pxBuffer = NULL; in vTCPMemStatCreate()
|
D | tcp_dump_packets.c | 95 static StreamBuffer_t * xPacketBuffer; 211 xPacketBuffer = ( StreamBuffer_t * ) pvPortMalloc( uxSize ); in dump_packet_init()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Reception/ |
D | FreeRTOS_TCP_Reception_utest.c | 569 pxSocket->u.xTCP.txStream = ( StreamBuffer_t * ) 0x12345678; in test_prvReadSackOption() 593 pxSocket->u.xTCP.txStream = ( StreamBuffer_t * ) 0x12345678; in test_prvReadSackOption_Zero_Length_Block() 615 pxSocket->u.xTCP.txStream = ( StreamBuffer_t * ) 0x12345678; in test_prvReadSackOption_Selectbits_On() 642 pxSocket->u.xTCP.txStream = ( StreamBuffer_t * ) 0x12345678; in test_prvReadSackOption_No_Handler() 806 xSocket.u.xTCP.rxStream = ( StreamBuffer_t * ) 0x12345678; in test_prvStoreRxData_Happy_Path()
|
/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() 110 static size_t StubuxStreamBufferGetPtr_ReturnIncorrectSize( StreamBuffer_t * pxBuffer, in StubuxStreamBufferGetPtr_ReturnIncorrectSize() 119 static size_t StubuxStreamBufferGetPtr_ReturnCorrectVals( StreamBuffer_t * pxBuffer, in StubuxStreamBufferGetPtr_ReturnCorrectVals()
|
/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() 131 static size_t StubuxStreamBufferGetPtr_ReturnIncorrectSize( StreamBuffer_t * pxBuffer, in StubuxStreamBufferGetPtr_ReturnIncorrectSize() 140 static size_t StubuxStreamBufferGetPtr_ReturnCorrectVals( StreamBuffer_t * pxBuffer, in StubuxStreamBufferGetPtr_ReturnCorrectVals()
|