Home
last modified time | relevance | path

Searched refs:txStream (Results 1 – 18 of 18) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets/
DFreeRTOS_Sockets_TCP_API_utest.c818 xSocket.u.xTCP.txStream = ( StreamBuffer_t * ) ucStream; in test_FreeRTOS_get_tx_head_AllNULL()
841 xSocket.u.xTCP.txStream = ( StreamBuffer_t * ) ucStream; in test_FreeRTOS_get_tx_head_LessSpace()
867 xSocket.u.xTCP.txStream = ( StreamBuffer_t * ) ucStream; in test_FreeRTOS_get_tx_head_MoreSpace()
905 xSocket.u.xTCP.txStream = &xLocalStreamBuffer; in test_FreeRTOS_send_InvalidInput()
908 uxStreamBufferGetSpace_ExpectAndReturn( xSocket.u.xTCP.txStream, 0 ); in test_FreeRTOS_send_InvalidInput()
916 xSocket.u.xTCP.txStream = &xLocalStreamBuffer; in test_FreeRTOS_send_InvalidInput()
920 uxStreamBufferGetSpace_ExpectAndReturn( xSocket.u.xTCP.txStream, 0 ); in test_FreeRTOS_send_InvalidInput()
945 xSocket.u.xTCP.txStream = &xLocalStreamBuffer; in test_FreeRTOS_send_ExactSpaceInStreamBuffer()
950 uxStreamBufferGetSpace_ExpectAndReturn( xSocket.u.xTCP.txStream, uxDataLength ); in test_FreeRTOS_send_ExactSpaceInStreamBuffer()
952 …uxStreamBufferAdd_ExpectAndReturn( xSocket.u.xTCP.txStream, 0U, pvBuffer, uxDataLength, uxDataLeng… in test_FreeRTOS_send_ExactSpaceInStreamBuffer()
[all …]
DFreeRTOS_Sockets_privates_utest.c952 vPortFree_Expect( xSocket.u.xTCP.txStream ); in test_vSocketClose_TCP_EverythingNonNULL()
985 vPortFree_Expect( xSocket.u.xTCP.txStream ); in test_vSocketClose_TCP_LastAckMessageNonNULL()
1014 xSocket.u.xTCP.txStream = NULL; in test_vSocketClose_TCP_AllFieldsNonNULL()
1499 xSocket.u.xTCP.txStream = NULL; in test_prvSockopt_so_buffer_InvalidOption1()
1526 xSocket.u.xTCP.txStream = &xBuffer; in test_prvSockopt_so_buffer_InvalidOption2()
2354 TEST_ASSERT_EQUAL( ucStream, xSocket.u.xTCP.txStream ); in test_prvTCPSendCheck_InvalidValues()
2361 xSocket.u.xTCP.txStream = &xLocalStreamBuffer; in test_prvTCPSendCheck_InvalidValues()
DFreeRTOS_Sockets_GenericAPI_utest.c1731 xSocket.u.xTCP.txStream = NULL; in test_FreeRTOS_setsockopt_SendBuff()
1801 xSocket.u.xTCP.txStream = ( StreamBuffer_t * ) 0x1234; in test_FreeRTOS_setsockopt_WinPropsInvalidTxStream()
2140 xSocket.u.xTCP.txStream = ( StreamBuffer_t * ) 0xABCD; in test_FreeRTOS_setsockopt_SetFullSize_Reset_HappyPath()
2142 uxStreamBufferGetSize_ExpectAndReturn( xSocket.u.xTCP.txStream, 0x123 ); in test_FreeRTOS_setsockopt_SetFullSize_Reset_HappyPath()
2914 xSocket.u.xTCP.txStream = ( StreamBuffer_t * ) ucStream; in test_FreeRTOS_maywrite_HappyPath()
3288 xSocket[ 5 ].u.xTCP.txStream = ( StreamBuffer_t * ) ucStream; in test_vSocketSelect_TCPSocketsOnly()
3297 xSocket[ 6 ].u.xTCP.txStream = ( StreamBuffer_t * ) ucStream; in test_vSocketSelect_TCPSocketsOnly()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_State_Handling/
DFreeRTOS_TCP_State_Handling_utest.c620 pxSocket->u.xTCP.txStream = ( StreamBuffer_t * ) 0x12345678; in test_prvHandleEstablished_ACKHappy()
657 pxSocket->u.xTCP.txStream = NULL; in test_prvHandleEstablished_ACKNullTXRecvZero()
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()
969 pxSocket->u.xTCP.txStream = NULL; in test_prvHandleEstablished_FINSentACKPacket()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_TCP_Transmission.c843 if( pxSocket->u.xTCP.txStream != NULL ) in prvTCPPrepareSend()
877 …uxOffset = uxStreamBufferDistance( pxSocket->u.xTCP.txStream, pxSocket->u.xTCP.txStream->uxTail, (… in prvTCPPrepareSend()
881 …ulDataGot = ( uint32_t ) uxStreamBufferGet( pxSocket->u.xTCP.txStream, uxOffset, pucSendData, ( si… in prvTCPPrepareSend()
897 …2_t ) uxStreamBufferDistance( pxSocket->u.xTCP.txStream, ( size_t ) lStreamPos, pxSocket->u.xTCP.t… in prvTCPPrepareSend()
905 size_t uxHead = pxSocket->u.xTCP.txStream->uxHead; in prvTCPPrepareSend()
906 size_t uxMid = pxSocket->u.xTCP.txStream->uxMid; in prvTCPPrepareSend()
907 size_t uxTail = pxSocket->u.xTCP.txStream->uxTail; in prvTCPPrepareSend()
1034 lLength = ( int32_t ) uxStreamBufferMidSpace( pxSocket->u.xTCP.txStream ); in prvTCPAddTxData()
1046 ( int32_t ) pxSocket->u.xTCP.txStream->uxMid, in prvTCPAddTxData()
1047 ( int32_t ) pxSocket->u.xTCP.txStream->LENGTH ); in prvTCPAddTxData()
[all …]
DFreeRTOS_Sockets.c2100 if( pxSocket->u.xTCP.txStream != NULL ) in vSocketClose()
2102 iptraceMEM_STATS_DELETE( pxSocket->u.xTCP.txStream ); in vSocketClose()
2103 vPortFreeLarge( pxSocket->u.xTCP.txStream ); in vSocketClose()
2357 … else if( ( ( lOptionName == FREERTOS_SO_SNDBUF ) && ( pxSocket->u.xTCP.txStream != NULL ) ) || in prvSockopt_so_buffer()
4343 else if( pxSocket->u.xTCP.txStream == NULL ) in prvTCPSendCheck()
4348 if( pxSocket->u.xTCP.txStream == NULL ) in prvTCPSendCheck()
4388 pxBuffer = pxSocket->u.xTCP.txStream; in FreeRTOS_get_tx_head()
4435 BaseType_t xByteCount = ( BaseType_t ) uxStreamBufferGetSpace( pxSocket->u.xTCP.txStream ); in prvTCPSendLoop()
4475 …xByteCount = ( BaseType_t ) uxStreamBufferAdd( pxSocket->u.xTCP.txStream, 0U, pucSource, ( size_t … in prvTCPSendLoop()
4564 xByteCount = ( BaseType_t ) uxStreamBufferGetSpace( pxSocket->u.xTCP.txStream ); in prvTCPSendLoop()
[all …]
DFreeRTOS_TCP_Reception.c383 if( ( pxSocket->u.xTCP.txStream != NULL ) && ( ulCount > 0U ) ) in prvReadSackOption()
386 … ( void ) uxStreamBufferGet( pxSocket->u.xTCP.txStream, 0, NULL, ( size_t ) ulCount, pdFALSE ); in prvReadSackOption()
DFreeRTOS_TCP_State_Handling.c542 if( ( pxSocket->u.xTCP.txStream != NULL ) && ( ulCount > 0U ) ) in prvHandleEstablished()
548 … if( uxStreamBufferGet( pxSocket->u.xTCP.txStream, 0U, NULL, ( size_t ) ulCount, pdFALSE ) != 0U ) in prvHandleEstablished()
576 if( pxSocket->u.xTCP.txStream != NULL ) in prvHandleEstablished()
DFreeRTOS_TCP_IP.c157 … if( ( pxSocket->u.xTCP.eTCPState >= eESTABLISHED ) && ( pxSocket->u.xTCP.txStream != NULL ) ) in xTCPSocketCheck()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/CheckOptionsInner/
DCheckOptionsInner_harness.c53 pxSocket->u.xTCP.txStream = malloc( sizeof( StreamBuffer_t ) ); in harness()
54 __CPROVER_assume( pxSocket->u.xTCP.txStream != NULL ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/utility/
Dmemory_assignments.c21 pxSocket->u.xTCP.txStream = safeMalloc( sizeof( StreamBuffer_t ) ); in ensure_FreeRTOS_Socket_t_is_allocated()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Transmission/
DFreeRTOS_TCP_Transmission_utest.c288 pxSocket->u.xTCP.txStream = &TxStream; in test_prvTCPSendPacket_Other_State_Something_To_Send()
356 pxSocket->u.xTCP.txStream = ( StreamBuffer_t * ) 0x12345678; in test_prvTCPSendRepeated_Zero_To_Send()
388 pxSocket->u.xTCP.txStream = ( StreamBuffer_t * ) &StreamBuffer; in test_prvTCPSendRepeated_Repeat_8()
1396 pxSocket->u.xTCP.txStream = ( StreamBuffer_t * ) 0x12345678; in test_prvTCPPrepareSend_State_Syn_Zero_Data()
1421 pxSocket->u.xTCP.txStream = ( StreamBuffer_t * ) 0x12345678; in test_prvTCPPrepareSend_State_Syn_Zero_Data_Win_Change()
1445 pxSocket->u.xTCP.txStream = ( StreamBuffer_t * ) 0x12345678; in test_prvTCPPrepareSend_State_Syn_Zero_Data_Keep_Alive()
1470 pxSocket->u.xTCP.txStream = NULL; in test_prvTCPPrepareSend_State_Established_Zero_Data_KLCount1_Age_GT_Max()
1498 pxSocket->u.xTCP.txStream = NULL; in test_prvTCPPrepareSend_State_Established_Null_Buffer_Zero_Data_KLCount0_Age_LT_Max()
1525 pxSocket->u.xTCP.txStream = NULL; in test_prvTCPPrepareSend_State_Established_Null_Buffer_Zero_Data_KLCount1_Age_GT_Max()
1556 pxSocket->u.xTCP.txStream = NULL; in test_prvTCPPrepareSend_State_Established_Zero_Data_KLCount1_Age_GT_Max_Win_Change()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPPrepareSend/
DTCPPrepareSend_harness.c77 pxSocket->u.xTCP.txStream = malloc( sizeof( StreamBuffer_t ) ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/vSocketClose/
DvSocketClose_harness.c80 pxSocket->u.xTCP.txStream = malloc( sizeof( StreamBuffer_t ) ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_IP_DiffConfig/
DFreeRTOS_TCP_IP_DiffConfig_utest.c98 xSocket.u.xTCP.txStream = ( void * ) &xSocket; in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Reception/
DFreeRTOS_TCP_Reception_utest.c569 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()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_IP/
DFreeRTOS_TCP_IP_utest.c240 xSocket.u.xTCP.txStream = ( void * ) &xSocket; in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull()
271 xSocket.u.xTCP.txStream = ( void * ) &xSocket; in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1()
310 xSocket.u.xTCP.txStream = ( void * ) &xSocket; in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull_BufferFreed()
346 xSocket.u.xTCP.txStream = ( void * ) &xSocket; in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1_NonZeroTimeout()
379 xSocket.u.xTCP.txStream = ( void * ) &xSocket; in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1_NonZeroTimeout_NoLogPort()
418 xSocket.u.xTCP.txStream = ( void * ) &xSocket; in test_xTCPSocketCheck_StateCLOSED_TxStreamNonNull1_NonZeroTimeout()
449 xSocket.u.xTCP.txStream = ( void * ) &xSocket; in test_xTCPSocketCheck_StateeCONNECT_SYN_TxStreamNonNull_UserShutdown()
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
DFreeRTOS_IP_Private.h613 … StreamBuffer_t * txStream; /**< The pointer to the transmit stream buffer. */ member