Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets/
DFreeRTOS_Sockets_TCP_API_utest.c761 xSocket.u.xTCP.txStream = ( StreamBuffer_t * ) ucStream; in test_FreeRTOS_get_tx_head_AllNULL()
784 xSocket.u.xTCP.txStream = ( StreamBuffer_t * ) ucStream; in test_FreeRTOS_get_tx_head_LessSpace()
810 xSocket.u.xTCP.txStream = ( StreamBuffer_t * ) ucStream; in test_FreeRTOS_get_tx_head_MoreSpace()
848 xSocket.u.xTCP.txStream = &xLocalStreamBuffer; in test_FreeRTOS_send_InvalidInput()
851 uxStreamBufferGetSpace_ExpectAndReturn( xSocket.u.xTCP.txStream, 0 ); in test_FreeRTOS_send_InvalidInput()
859 xSocket.u.xTCP.txStream = &xLocalStreamBuffer; in test_FreeRTOS_send_InvalidInput()
863 uxStreamBufferGetSpace_ExpectAndReturn( xSocket.u.xTCP.txStream, 0 ); in test_FreeRTOS_send_InvalidInput()
888 xSocket.u.xTCP.txStream = &xLocalStreamBuffer; in test_FreeRTOS_send_ExactSpaceInStreamBuffer()
893 uxStreamBufferGetSpace_ExpectAndReturn( xSocket.u.xTCP.txStream, uxDataLength ); in test_FreeRTOS_send_ExactSpaceInStreamBuffer()
895 …uxStreamBufferAdd_ExpectAndReturn( xSocket.u.xTCP.txStream, 0U, pvBuffer, uxDataLength, uxDataLeng… in test_FreeRTOS_send_ExactSpaceInStreamBuffer()
[all …]
DFreeRTOS_Sockets_GenericAPI_utest.c1760 xSocket.u.xTCP.txStream = NULL; in test_FreeRTOS_setsockopt_SendBuff()
1830 xSocket.u.xTCP.txStream = 0x1234; in test_FreeRTOS_setsockopt_WinPropsInvalidTxStream()
2169 xSocket.u.xTCP.txStream = ( uintptr_t ) 0xABCD; in test_FreeRTOS_setsockopt_SetFullSize_Reset_HappyPath()
2171 uxStreamBufferGetSize_ExpectAndReturn( xSocket.u.xTCP.txStream, 0x123 ); in test_FreeRTOS_setsockopt_SetFullSize_Reset_HappyPath()
2898 xSocket.u.xTCP.txStream = ucStream; in test_FreeRTOS_maywrite_HappyPath()
3092 xSocket[ 5 ].u.xTCP.txStream = ucStream; in test_vSocketSelect_TCPSocketsOnly()
3101 xSocket[ 6 ].u.xTCP.txStream = ucStream; in test_vSocketSelect_TCPSocketsOnly()
DFreeRTOS_Sockets_privates_utest.c870 vPortFree_Expect( xSocket.u.xTCP.txStream ); in test_vSocketClose_TCP_EverythingNonNULL()
903 vPortFree_Expect( xSocket.u.xTCP.txStream ); in test_vSocketClose_TCP_LastAckMessageNonNULL()
932 xSocket.u.xTCP.txStream = NULL; in test_vSocketClose_TCP_AllFieldsNonNULL()
1417 xSocket.u.xTCP.txStream = NULL; in test_prvSockopt_so_buffer_InvalidOption1()
1444 xSocket.u.xTCP.txStream = &xBuffer; in test_prvSockopt_so_buffer_InvalidOption2()
2235 TEST_ASSERT_EQUAL( ucStream, xSocket.u.xTCP.txStream ); in test_prvTCPSendCheck_InvalidValues()
2242 xSocket.u.xTCP.txStream = &xLocalStreamBuffer; in test_prvTCPSendCheck_InvalidValues()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_State_Handling/
DFreeRTOS_TCP_State_Handling_utest.c532 pxSocket->u.xTCP.txStream = 0x12345678; in test_prvHandleEstablished_ACK_Happy()
567 pxSocket->u.xTCP.txStream = NULL; in test_prvHandleEstablished_ACK_Null_TX_Recv_Zero()
600 pxSocket->u.xTCP.txStream = 0x12345678; in test_prvHandleEstablished_ACK_Win_Zero_Recv_Zero_Has_Option()
633 pxSocket->u.xTCP.txStream = 0x12345678; in test_prvHandleEstablished_ACK_Buffer_Zero_Prep_False()
668 pxSocket->u.xTCP.txStream = 0x12345678; in test_prvHandleEstablished_ACK_Happy_Select_Write_No_Handler()
714 pxSocket->u.xTCP.txStream = 0x12345678; in test_prvHandleEstablished_FIN_NotSent_RX_Complete()
752 pxSocket->u.xTCP.txStream = 0x12345678; in test_prvHandleEstablished_FIN_NotSent_RX_Not_Complete()
790 pxSocket->u.xTCP.txStream = 0x12345678; in test_prvHandleEstablished_FIN_NotSent_TX_Win_Not_Complete()
828 pxSocket->u.xTCP.txStream = 0x12345678; in test_prvHandleEstablished_FIN_NotSent_Data_Left()
867 pxSocket->u.xTCP.txStream = 0x12345678; in test_prvHandleEstablished_FIN_Sent()
[all …]
/FreeRTOS-Plus-TCP-v3.1.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-v3.1.0/source/
DFreeRTOS_TCP_Transmission.c985 if( pxSocket->u.xTCP.txStream != NULL ) in prvTCPPrepareSend()
1019 …uxOffset = uxStreamBufferDistance( pxSocket->u.xTCP.txStream, pxSocket->u.xTCP.txStream->uxTail, (… in prvTCPPrepareSend()
1023 …ulDataGot = ( uint32_t ) uxStreamBufferGet( pxSocket->u.xTCP.txStream, uxOffset, pucSendData, ( si… in prvTCPPrepareSend()
1039 …2_t ) uxStreamBufferDistance( pxSocket->u.xTCP.txStream, ( size_t ) lStreamPos, pxSocket->u.xTCP.t… in prvTCPPrepareSend()
1047 size_t uxHead = pxSocket->u.xTCP.txStream->uxHead; in prvTCPPrepareSend()
1048 size_t uxMid = pxSocket->u.xTCP.txStream->uxMid; in prvTCPPrepareSend()
1049 size_t uxTail = pxSocket->u.xTCP.txStream->uxTail; in prvTCPPrepareSend()
1176 lLength = ( int32_t ) uxStreamBufferMidSpace( pxSocket->u.xTCP.txStream ); in prvTCPAddTxData()
1188 ( int32_t ) pxSocket->u.xTCP.txStream->uxMid, in prvTCPAddTxData()
1189 ( int32_t ) pxSocket->u.xTCP.txStream->LENGTH ); in prvTCPAddTxData()
[all …]
DFreeRTOS_Sockets.c1567 if( pxSocket->u.xTCP.txStream != NULL ) in vSocketClose()
1569 iptraceMEM_STATS_DELETE( pxSocket->u.xTCP.txStream ); in vSocketClose()
1570 vPortFreeLarge( pxSocket->u.xTCP.txStream ); in vSocketClose()
1745 … else if( ( ( lOptionName == FREERTOS_SO_SNDBUF ) && ( pxSocket->u.xTCP.txStream != NULL ) ) || in prvSockopt_so_buffer()
3577 else if( pxSocket->u.xTCP.txStream == NULL ) in prvTCPSendCheck()
3582 if( pxSocket->u.xTCP.txStream == NULL ) in prvTCPSendCheck()
3622 pxBuffer = pxSocket->u.xTCP.txStream; in FreeRTOS_get_tx_head()
3690 xByteCount = ( BaseType_t ) uxStreamBufferGetSpace( pxSocket->u.xTCP.txStream ); in FreeRTOS_send()
3731 …xByteCount = ( BaseType_t ) uxStreamBufferAdd( pxSocket->u.xTCP.txStream, 0U, pucSource, ( size_t … in FreeRTOS_send()
3814 xByteCount = ( BaseType_t ) uxStreamBufferGetSpace( pxSocket->u.xTCP.txStream ); in FreeRTOS_send()
[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.c543 if( ( pxSocket->u.xTCP.txStream != NULL ) && ( ulCount > 0U ) ) in prvHandleEstablished()
549 … if( uxStreamBufferGet( pxSocket->u.xTCP.txStream, 0U, NULL, ( size_t ) ulCount, pdFALSE ) != 0U ) in prvHandleEstablished()
577 if( pxSocket->u.xTCP.txStream != NULL ) in prvHandleEstablished()
DFreeRTOS_TCP_IP.c172 … if( ( pxSocket->u.xTCP.eTCPState >= eESTABLISHED ) && ( pxSocket->u.xTCP.txStream != NULL ) ) in xTCPSocketCheck()
/FreeRTOS-Plus-TCP-v3.1.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-v3.1.0/test/unit-test/FreeRTOS_TCP_Transmission/
DFreeRTOS_TCP_Transmission_utest.c244 pxSocket->u.xTCP.txStream = &TxStream; in test_prvTCPSendPacket_Other_State_Something_To_Send()
294 pxSocket->u.xTCP.txStream = ( StreamBuffer_t * ) 0x12345678; in test_prvTCPSendRepeated_Zero_To_Send()
319 pxSocket->u.xTCP.txStream = ( StreamBuffer_t * ) &StreamBuffer; in test_prvTCPSendRepeated_Repeat_8()
969 pxSocket->u.xTCP.txStream = ( StreamBuffer_t * ) 0x12345678; in test_prvTCPPrepareSend_State_Syn_Zero_Data()
993 pxSocket->u.xTCP.txStream = ( StreamBuffer_t * ) 0x12345678; in test_prvTCPPrepareSend_State_Syn_Zero_Data_Win_Change()
1016 pxSocket->u.xTCP.txStream = ( StreamBuffer_t * ) 0x12345678; in test_prvTCPPrepareSend_State_Syn_Zero_Data_Keep_Alive()
1040 pxSocket->u.xTCP.txStream = NULL; in test_prvTCPPrepareSend_State_Established_Zero_Data_KLCount1_Age_GT_Max()
1067 pxSocket->u.xTCP.txStream = NULL; in test_prvTCPPrepareSend_State_Established_Null_Buffer_Zero_Data_KLCount0_Age_LT_Max()
1093 pxSocket->u.xTCP.txStream = NULL; in test_prvTCPPrepareSend_State_Established_Null_Buffer_Zero_Data_KLCount1_Age_GT_Max()
1123 pxSocket->u.xTCP.txStream = NULL; in test_prvTCPPrepareSend_State_Established_Zero_Data_KLCount1_Age_GT_Max_Win_Change()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/parsing/ProcessReceivedTCPPacket/
DProcessReceivedTCPPacket_harness.c65 xRetSocket->u.xTCP.txStream = safeMalloc( sizeof( StreamBuffer_t ) ); in pxTCPSocketLookup()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketClose/
DvSocketClose_harness.c80 pxSocket->u.xTCP.txStream = malloc( sizeof( StreamBuffer_t ) ); in harness()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_Reception/
DFreeRTOS_TCP_Reception_utest.c555 pxSocket->u.xTCP.txStream = ( StreamBuffer_t * ) 0x12345678; in test_prvReadSackOption()
579 pxSocket->u.xTCP.txStream = ( StreamBuffer_t * ) 0x12345678; in test_prvReadSackOption_Zero_Length_Block()
601 pxSocket->u.xTCP.txStream = ( StreamBuffer_t * ) 0x12345678; in test_prvReadSackOption_Selectbits_On()
628 pxSocket->u.xTCP.txStream = ( StreamBuffer_t * ) 0x12345678; in test_prvReadSackOption_No_Handler()
/FreeRTOS-Plus-TCP-v3.1.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-v3.1.0/test/unit-test/FreeRTOS_TCP_IP/
DFreeRTOS_TCP_IP_utest.c222 xSocket.u.xTCP.txStream = ( void * ) &xSocket; in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull()
248 xSocket.u.xTCP.txStream = ( void * ) &xSocket; in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1()
281 xSocket.u.xTCP.txStream = ( void * ) &xSocket; in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull_BufferFreed()
313 xSocket.u.xTCP.txStream = ( void * ) &xSocket; in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1_NonZeroTimeout()
342 xSocket.u.xTCP.txStream = ( void * ) &xSocket; in test_xTCPSocketCheck_StateEstablished_TxStreamNonNull1_NonZeroTimeout_NoLogPort()
377 xSocket.u.xTCP.txStream = ( void * ) &xSocket; in test_xTCPSocketCheck_StateCLOSED_TxStreamNonNull1_NonZeroTimeout()
406 xSocket.u.xTCP.txStream = ( void * ) &xSocket; in test_xTCPSocketCheck_StateeCONNECT_SYN_TxStreamNonNull_UserShutdown()
/FreeRTOS-Plus-TCP-v3.1.0/source/include/
DFreeRTOS_IP_Private.h595 … StreamBuffer_t * txStream; /**< The pointer to the transmit stream buffer. */ member