Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/TCP/prvTCPHandleState/
DTCPHandleState_harness.c75 …__CPROVER_assume( pxSocket->u.xTCP.uxRxWinSize >= 0 && pxSocket->u.xTCP.uxRxWinSize <= sizeof( siz… in harness()
/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_TCP_Transmission.c564 uint32_t ulRxWindowSize = ( uint32_t ) pxSocket->u.xTCP.uxRxWinSize; in prvTCPCreateWindow()
570 … ( unsigned ) ( pxSocket->u.xTCP.uxRxWinSize * ipconfigTCP_MSS ), in prvTCPCreateWindow()
755 uxWinSize = pxSocket->u.xTCP.uxRxWinSize * ( size_t ) pxSocket->u.xTCP.usMSS; in prvWinScaleFactor()
766 ( unsigned ) pxSocket->u.xTCP.uxRxWinSize, in prvWinScaleFactor()
DFreeRTOS_TCP_State_Handling.c1051 pxNewSocket->u.xTCP.uxRxWinSize = pxSocket->u.xTCP.uxRxWinSize; in prvTCPSocketCopy()
DFreeRTOS_Sockets.c492 …pxSocket->u.xTCP.uxRxWinSize = FreeRTOS_max_uint32( 1U, ( uint32_t ) ( pxSocket->u.xTCP.uxRxStream… in FreeRTOS_socket()
497 pxSocket->u.xTCP.uxRxWinSize = 1U; in FreeRTOS_socket()
2044 …pxTCP->uxRxWinSize = ( uint32_t ) pxProps->lRxWinSize; /* Fixed value: size of the TCP reception w… in FreeRTOS_setsockopt()
2049 pxTCP->uxRxWinSize = 1U; in FreeRTOS_setsockopt()
2058 … pxTCP->xTCPWindow.xSize.ulRxWindowLength = ( uint32_t ) ( pxTCP->uxRxWinSize * pxTCP->usMSS ); in FreeRTOS_setsockopt()
/FreeRTOS-Plus-TCP-v3.1.0/source/include/
DFreeRTOS_IP_Private.h614 size_t uxRxWinSize; /**< Fixed value: size of the TCP reception window */ member
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets/
DFreeRTOS_Sockets_GenericAPI_utest.c348 TEST_ASSERT_EQUAL( 0x1234, pxSocket->u.xTCP.uxRxWinSize ); in test_FreeRTOS_socket_TCPSocket_ProtocolDependent()
393 TEST_ASSERT_EQUAL( 0x1234, pxSocket->u.xTCP.uxRxWinSize ); in test_FreeRTOS_socket_TCPSocket()
1890 TEST_ASSERT_EQUAL( ( uint32_t ) vOptionValue.lTxWinSize, xSocket.u.xTCP.uxRxWinSize ); in test_FreeRTOS_setsockopt_WinPropsTCPWinNotInit()
1920 TEST_ASSERT_EQUAL( ( uint32_t ) vOptionValue.lRxWinSize, xSocket.u.xTCP.uxRxWinSize ); in test_FreeRTOS_setsockopt_WinPropsTCPWinInit()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_Transmission/
DFreeRTOS_TCP_Transmission_utest.c782 pxSocket->u.xTCP.uxRxWinSize = 1; in test_prvWinScaleFactor()
796 pxSocket->u.xTCP.uxRxWinSize = 5; in test_prvWinScaleFactor_Big_Win()