Home
last modified time | relevance | path

Searched refs:xTCPWindow (Results 1 – 15 of 15) sorted by relevance

/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/CheckOptionsInner/
DCheckOptionsInner_harness.c56 vListInitialise( &pxSocket->u.xTCP.xTCPWindow.xWaitQueue ); in harness()
63 vListInsertEnd( &pxSocket->u.xTCP.xTCPWindow.xWaitQueue, &segment->xQueueItem ); in harness()
66 vListInitialise( &pxSocket->u.xTCP.xTCPWindow.xTxSegments ); in harness()
74 vListInsertEnd( &pxSocket->u.xTCP.xTCPWindow.xTxSegments, &segment->xQueueItem ); in harness()
77 vListInitialise( &pxSocket->u.xTCP.xTCPWindow.xPriorityQueue ); in harness()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_State_Handling/
DFreeRTOS_TCP_State_Handling_utest.c227 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvTCPHandleFin_Recv_No_FIN_Not_Sent_FINACK_Not_Sent()
256 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvTCPHandleFin_Recv_FIN_FIN_Sent_FINACK_Sent_Recv_No_FIN()
286 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvTCPHandleFin_Recv_FIN_FIN_Sent_FINACK_Sent_Recv_FIN_Not_Last()
319 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvTCPHandleFin_Recv_FIN_FIN_Sent_FINACK_Sent_Recv_FIN_Last()
352 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvHandleSynReceived_Exp_SYN_State_ConnectSyn()
381 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvHandleSynReceived_Not_Exp_SYN_State_ConnectSyn()
410 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvHandleSynReceived_Not_Exp_SYN_State_Synreceived()
439 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvHandleSynReceived_Exp_ACK_State_Synreceived_Zero_Data()
468 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvHandleSynReceived_Exp_ACK_State_Synreceived_Non_Zero_Data_WinScaling()
527 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvHandleEstablished_ACK_Happy()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_TCP_IP.c197 …( unsigned ) ( pxSocket->u.xTCP.xTCPWindow.rx.ulCurrentSequenceNumber - pxSocket->u.xTCP.xTCPWindo… in xTCPSocketCheck()
198 …( unsigned ) ( pxSocket->u.xTCP.xTCPWindow.ulOurSequenceNumber - pxSocket->u.xTCP.xTCPWindow.tx.ul… in xTCPSocketCheck()
568 …BaseType_t xResult = xTCPWindowTxHasData( &pxSocket->u.xTCP.xTCPWindow, pxSocket->u.xTCP.ulWindowS… in prvTCPNextTimeout()
741 … if( ulAckNumber == ( pxSocket->u.xTCP.xTCPWindow.ulOurSequenceNumber + 1U ) ) in xProcessReceivedTCPPacket()
749 … if( ulSequenceNumber == pxSocket->u.xTCP.xTCPWindow.rx.ulCurrentSequenceNumber ) in xProcessReceivedTCPPacket()
754 …else if( ( xSequenceGreaterThan( ulSequenceNumber, pxSocket->u.xTCP.xTCPWindow.rx.ulCurrentSequenc… in xProcessReceivedTCPPacket()
755 … ( xSequenceLessThan( ulSequenceNumber, pxSocket->u.xTCP.xTCPWindow.rx.ulCurrentSequenceNumber + in xProcessReceivedTCPPacket()
756 … pxSocket->u.xTCP.xTCPWindow.xSize.ulRxWindowLength ) != pdFALSE ) ) in xProcessReceivedTCPPacket()
DFreeRTOS_TCP_Transmission.c324 pxTCPWindow = &( pxSocket->u.xTCP.xTCPWindow ); in prvTCPReturnPacket()
394 … pxTCPPacket->xTCPHeader.ulSequenceNumber = pxSocket->u.xTCP.xTCPWindow.ulOurSequenceNumber - 1U; in prvTCPReturnPacket()
400 …Packet->xTCPHeader.ulSequenceNumber = FreeRTOS_htonl( pxSocket->u.xTCP.xTCPWindow.ulOurSequenceNum… in prvTCPReturnPacket()
577 &pxSocket->u.xTCP.xTCPWindow, in prvTCPCreateWindow()
580 pxSocket->u.xTCP.xTCPWindow.rx.ulCurrentSequenceNumber, in prvTCPCreateWindow()
581 pxSocket->u.xTCP.xTCPWindow.ulOurSequenceNumber, in prvTCPCreateWindow()
714 pxSocket->u.xTCP.xTCPWindow.rx.ulCurrentSequenceNumber = 0U; in prvTCPPrepareConnect()
717 pxSocket->u.xTCP.xTCPWindow.ulOurSequenceNumber = ulInitialSequenceNumber; in prvTCPPrepareConnect()
980 pxTCPWindow = &( pxSocket->u.xTCP.xTCPWindow ); in prvTCPPrepareSend()
1186 lCount = lTCPWindowTxAdd( &pxSocket->u.xTCP.xTCPWindow, in prvTCPAddTxData()
[all …]
DFreeRTOS_TCP_State_Handling.c250 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in prvTCPHandleFin()
364 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in prvHandleSynReceived()
424 vTCPWindowInit( &pxSocket->u.xTCP.xTCPWindow, in prvHandleSynReceived()
425 …ulSequenceNumber, pxSocket->u.xTCP.xTCPWindow.ulOurSequenceNumber, ( uint32_t ) pxSocket->u.xTCP.u… in prvHandleSynReceived()
512 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in prvHandleEstablished()
582 … pxSocket->u.xTCP.xTCPWindow.ulOurSequenceNumber = pxTCPWindow->tx.ulCurrentSequenceNumber; in prvHandleEstablished()
627 … ( unsigned ) ( ulSequenceNumber - pxSocket->u.xTCP.xTCPWindow.rx.ulFirstSequenceNumber ), in prvHandleEstablished()
629 …nsigned ) ( pxTCPWindow->tx.ulCurrentSequenceNumber - pxSocket->u.xTCP.xTCPWindow.tx.ulFirstSequen… in prvHandleEstablished()
730 TCPWindow_t * pxTCPWindow = &( pxSocket->u.xTCP.xTCPWindow ); in prvTCPHandleState()
1006 pxReturn->u.xTCP.xTCPWindow.ulOurSequenceNumber = ulInitialSequenceNumber; in prvHandleListen()
[all …]
DFreeRTOS_TCP_Reception.c206 TCPWindow_t * pxTCPWindow = &( pxSocket->u.xTCP.xTCPWindow ); in prvSingleStepTCPHeaderOptions()
378 … uint32_t ulCount = ulTCPWindowTxSack( &( pxSocket->u.xTCP.xTCPWindow ), ulFirst, ulLast ); in prvReadSackOption()
532 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in prvStoreRxData()
DFreeRTOS_Sockets.c1556 vTCPWindowDestroy( &pxSocket->u.xTCP.xTCPWindow ); in vSocketClose()
2056 if( pxTCP->xTCPWindow.u.bits.bHasInit != pdFALSE_UNSIGNED ) in FreeRTOS_setsockopt()
2058 … pxTCP->xTCPWindow.xSize.ulRxWindowLength = ( uint32_t ) ( pxTCP->uxRxWinSize * pxTCP->usMSS ); in FreeRTOS_setsockopt()
2059 … pxTCP->xTCPWindow.xSize.ulTxWindowLength = ( uint32_t ) ( pxTCP->uxTxWinSize * pxTCP->usMSS ); in FreeRTOS_setsockopt()
2113 pxSocket->u.xTCP.xTCPWindow.u.bits.bSendFullSize = pdTRUE; in FreeRTOS_setsockopt()
2117 pxSocket->u.xTCP.xTCPWindow.u.bits.bSendFullSize = pdFALSE; in FreeRTOS_setsockopt()
2120 … if( ( pxSocket->u.xTCP.xTCPWindow.u.bits.bSendFullSize == pdFALSE_UNSIGNED ) && in FreeRTOS_setsockopt()
3899 … ( void ) memset( &pxSocket->u.xTCP.xTCPWindow, 0, sizeof( pxSocket->u.xTCP.xTCPWindow ) ); in FreeRTOS_listen()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_Transmission/
DFreeRTOS_TCP_Transmission_utest.c352 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvTCPReturnPacket_Null_Buffer_Null_Rx_Stream_KL()
386 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvTCPReturnPacket_Null_Socket()
414 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvTCPReturnPacket_Null_Socket_Relase_True()
441 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvTCPReturnPacket_No_KL()
450 pxSocket->u.xTCP.xTCPWindow.ulOurSequenceNumber = 100; in test_prvTCPReturnPacket_No_KL()
475 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvTCPReturnPacket_No_KL_LocalIP()
486 pxSocket->u.xTCP.xTCPWindow.ulOurSequenceNumber = 100; in test_prvTCPReturnPacket_No_KL_LocalIP()
518 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvTCPReturnPacket_No_KL_LocalIP_GT_Eth_Packet_Length()
529 pxSocket->u.xTCP.xTCPWindow.ulOurSequenceNumber = 100; in test_prvTCPReturnPacket_No_KL_LocalIP_GT_Eth_Packet_Length()
560 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvTCPReturnPacket_No_KL_LocalIP_ARP_Not_Hit()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/TCP/prvTCPHandleState/
DTCPHandleState_harness.c73 …__CPROVER_assume( pxSocket->u.xTCP.xTCPWindow.ucOptionLength == sizeof( uint32_t ) * ipSIZE_TCP_OP… in harness()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets/
DFreeRTOS_Sockets_TCP_API_utest.c1244 memset( &xSocket.u.xTCP.xTCPWindow, 0xFF, sizeof( xSocket.u.xTCP.xTCPWindow ) ); in test_FreeRTOS_listen_Success_WithReuseSocket()
1257 …TEST_ASSERT_EACH_EQUAL_UINT8( 0, &xSocket.u.xTCP.xTCPWindow, sizeof( xSocket.u.xTCP.xTCPWindow ) ); in test_FreeRTOS_listen_Success_WithReuseSocket()
1275 memset( &xSocket.u.xTCP.xTCPWindow, 0xFF, sizeof( xSocket.u.xTCP.xTCPWindow ) ); in test_FreeRTOS_listen_Success_WithReuseSocket_StreamsNonNULL()
1293 …TEST_ASSERT_EACH_EQUAL_UINT8( 0, &xSocket.u.xTCP.xTCPWindow, sizeof( xSocket.u.xTCP.xTCPWindow ) ); in test_FreeRTOS_listen_Success_WithReuseSocket_StreamsNonNULL()
DFreeRTOS_Sockets_GenericAPI_utest.c1883 xSocket.u.xTCP.xTCPWindow.u.bits.bHasInit = pdFALSE; in test_FreeRTOS_setsockopt_WinPropsTCPWinNotInit()
1913 xSocket.u.xTCP.xTCPWindow.u.bits.bHasInit = pdTRUE; in test_FreeRTOS_setsockopt_WinPropsTCPWinInit()
1922 …2_t ) vOptionValue.lRxWinSize * xSocket.u.xTCP.usMSS ), xSocket.u.xTCP.xTCPWindow.xSize.ulRxWindow… in test_FreeRTOS_setsockopt_WinPropsTCPWinInit()
1923 …2_t ) vOptionValue.lTxWinSize * xSocket.u.xTCP.usMSS ), xSocket.u.xTCP.xTCPWindow.xSize.ulTxWindow… in test_FreeRTOS_setsockopt_WinPropsTCPWinInit()
2099 TEST_ASSERT_EQUAL( pdTRUE, xSocket.u.xTCP.xTCPWindow.u.bits.bSendFullSize ); in test_FreeRTOS_setsockopt_SetFullSize_Set()
2123 TEST_ASSERT_EQUAL( pdFALSE, xSocket.u.xTCP.xTCPWindow.u.bits.bSendFullSize ); in test_FreeRTOS_setsockopt_SetFullSize_Reset_StateIncorrect()
2148 TEST_ASSERT_EQUAL( pdFALSE, xSocket.u.xTCP.xTCPWindow.u.bits.bSendFullSize ); in test_FreeRTOS_setsockopt_SetFullSize_Reset_StateCorrect()
2177 TEST_ASSERT_EQUAL( pdFALSE, xSocket.u.xTCP.xTCPWindow.u.bits.bSendFullSize ); in test_FreeRTOS_setsockopt_SetFullSize_Reset_HappyPath()
DFreeRTOS_Sockets_privates_utest.c866 vTCPWindowDestroy_Expect( &( xSocket.u.xTCP.xTCPWindow ) ); in test_vSocketClose_TCP_EverythingNonNULL()
899 vTCPWindowDestroy_Expect( &( xSocket.u.xTCP.xTCPWindow ) ); in test_vSocketClose_TCP_LastAckMessageNonNULL()
934 vTCPWindowDestroy_Expect( &( xSocket.u.xTCP.xTCPWindow ) ); in test_vSocketClose_TCP_AllFieldsNonNULL()
1171 vTCPWindowDestroy_Expect( &( xChildSocket.u.xTCP.xTCPWindow ) ); in test_prvTCPSetSocketCount_ListeningSock_HappyPath1()
1212 vTCPWindowDestroy_Expect( &( xChildSocket.u.xTCP.xTCPWindow ) ); in test_prvTCPSetSocketCount_ListeningSock_HappyPath2()
1253 vTCPWindowDestroy_Expect( &( xChildSocket.u.xTCP.xTCPWindow ) ); in test_prvTCPSetSocketCount_ListeningSock_HappyPath3()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_Reception/
DFreeRTOS_TCP_Reception_utest.c724 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvStoreRxData_Happy_Path()
858 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvStoreRxData_Negative_Offset()
895 TCPWindow_t * pxTCPWindow = &pxSocket->u.xTCP.xTCPWindow; in test_prvStoreRxData_None_Zero_Skipcount()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_IP/
DFreeRTOS_TCP_IP_utest.c1682 pxSocket->u.xTCP.xTCPWindow.ulOurSequenceNumber = 0; in test_xProcessReceivedTCPPacket_ConnectSyn_State_Rst_Change_State()
1710 pxSocket->u.xTCP.xTCPWindow.ulOurSequenceNumber = 0; in test_xProcessReceivedTCPPacket_ConnectSyn_State_Rst_SeqNo_Wrong()
1733 pxSocket->u.xTCP.xTCPWindow.rx.ulCurrentSequenceNumber = 1000; in test_xProcessReceivedTCPPacket_SynReceived_State_Rst()
1763 pxSocket->u.xTCP.xTCPWindow.rx.ulCurrentSequenceNumber = 1000; in test_xProcessReceivedTCPPacket_Establish_State_Rst_Change_State()
1793 pxSocket->u.xTCP.xTCPWindow.rx.ulCurrentSequenceNumber = 1000; in test_xProcessReceivedTCPPacket_Establish_State_Rst_Seq_InRange()
1820 pxSocket->u.xTCP.xTCPWindow.rx.ulCurrentSequenceNumber = 1000; in test_xProcessReceivedTCPPacket_Establish_State_Rst_Seq_OutRange1()
1846 pxSocket->u.xTCP.xTCPWindow.rx.ulCurrentSequenceNumber = 1000; in test_xProcessReceivedTCPPacket_Establish_State_Rst_Seq_OutRange2()
1872 pxSocket->u.xTCP.xTCPWindow.rx.ulCurrentSequenceNumber = 1000; in test_xProcessReceivedTCPPacket_Establish_State_Ack()
/FreeRTOS-Plus-TCP-v3.1.0/source/include/
DFreeRTOS_IP_Private.h617 TCPWindow_t xTCPWindow; /**< The TCP window struct*/ member