Home
last modified time | relevance | path

Searched refs:uxRxWinSize (Results 1 – 8 of 8) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPHandleState/
DTCPHandleState_harness.c77 …__CPROVER_assume( pxSocket->u.xTCP.uxRxWinSize >= 0 && pxSocket->u.xTCP.uxRxWinSize <= sizeof( siz… in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_DiffConfig1/
DFreeRTOS_Sockets_DiffConfig1_GenericAPI_utest.c99 TEST_ASSERT_EQUAL( 0x1234, pxSocket->u.xTCP.uxRxWinSize ); in test_FreeRTOS_socket_TCPv6SocketLowMSS()
/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_TCP_Transmission.c451 uint32_t ulRxWindowSize = ( uint32_t ) pxSocket->u.xTCP.uxRxWinSize; in prvTCPCreateWindow()
457 … ( unsigned ) ( pxSocket->u.xTCP.uxRxWinSize * ipconfigTCP_MSS ), in prvTCPCreateWindow()
531 uxWinSize = pxSocket->u.xTCP.uxRxWinSize * ( size_t ) pxSocket->u.xTCP.usMSS; in prvWinScaleFactor()
542 ( unsigned ) pxSocket->u.xTCP.uxRxWinSize, in prvWinScaleFactor()
DFreeRTOS_TCP_State_Handling.c962 pxNewSocket->u.xTCP.uxRxWinSize = pxSocket->u.xTCP.uxRxWinSize; in prvTCPSocketCopy()
DFreeRTOS_Sockets.c587 …pxSocket->u.xTCP.uxRxWinSize = FreeRTOS_max_size_t( 1U, ( pxSocket->u.xTCP.uxRxStreamSize / 2U ) /… in prvInitialiseTCPFields()
592 pxSocket->u.xTCP.uxRxWinSize = 1U; in prvInitialiseTCPFields()
2515 …pxTCP->uxRxWinSize = ( uint32_t ) pxProps->lRxWinSize; /* Fixed value: size of the TCP reception w… in prvSetOptionTCPWindows()
2520 pxTCP->uxRxWinSize = 1U; in prvSetOptionTCPWindows()
2529 … pxTCP->xTCPWindow.xSize.ulRxWindowLength = ( uint32_t ) ( pxTCP->uxRxWinSize * pxTCP->usMSS ); in prvSetOptionTCPWindows()
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
DFreeRTOS_IP_Private.h632 size_t uxRxWinSize; /**< Fixed value: size of the TCP reception window */ member
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets/
DFreeRTOS_Sockets_GenericAPI_utest.c194 TEST_ASSERT_EQUAL( 0x1234, pxSocket->u.xTCP.uxRxWinSize ); in test_FreeRTOS_socket_TCPSocket_ProtocolDependent()
239 TEST_ASSERT_EQUAL( 0x1234, pxSocket->u.xTCP.uxRxWinSize ); in test_FreeRTOS_socket_TCPSocket()
372 TEST_ASSERT_EQUAL( 0x1234, pxSocket->u.xTCP.uxRxWinSize ); in test_FreeRTOS_socket_TCPv6Socket()
1861 TEST_ASSERT_EQUAL( ( uint32_t ) vOptionValue.lTxWinSize, xSocket.u.xTCP.uxRxWinSize ); in test_FreeRTOS_setsockopt_WinPropsTCPWinNotInit()
1891 TEST_ASSERT_EQUAL( ( uint32_t ) vOptionValue.lRxWinSize, xSocket.u.xTCP.uxRxWinSize ); in test_FreeRTOS_setsockopt_WinPropsTCPWinInit()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Transmission/
DFreeRTOS_TCP_Transmission_utest.c1159 pxSocket->u.xTCP.uxRxWinSize = 1; in test_prvWinScaleFactor()
1173 pxSocket->u.xTCP.uxRxWinSize = 5; in test_prvWinScaleFactor_Big_Win()