Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/lTCPAddRxdata/
DTCPAddRxdata_harness.c49 …__CPROVER_assume( pxSocket->u.xTCP.uxTxStreamSize >= 0 && pxSocket->u.xTCP.uxTxStreamSize < ipconf… in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_DiffConfig1/
DFreeRTOS_Sockets_DiffConfig1_GenericAPI_utest.c98 TEST_ASSERT_EQUAL( xSocket->u.xTCP.uxTxStreamSize, 0xAABB ); in test_FreeRTOS_socket_TCPv6SocketLowMSS()
/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_TCP_State_Handling.c959 pxNewSocket->u.xTCP.uxTxStreamSize = pxSocket->u.xTCP.uxTxStreamSize; in prvTCPSocketCopy()
DFreeRTOS_Sockets.c583 …pxSocket->u.xTCP.uxTxStreamSize = ( size_t ) FreeRTOS_round_up( ipconfigTCP_TX_BUFFER_LENGTH, ipco… in prvInitialiseTCPFields()
588 …et->u.xTCP.uxTxWinSize = FreeRTOS_max_size_t( 1U, ( pxSocket->u.xTCP.uxTxStreamSize / 2U ) / ipcon… in prvInitialiseTCPFields()
2372 pxSocket->u.xTCP.uxTxStreamSize = ulNewValue; in prvSockopt_so_buffer()
5034 uxLength = pxSocket->u.xTCP.uxTxStreamSize; in prvTCPCreateStream()
5412 xResult = ( BaseType_t ) pxSocket->u.xTCP.uxTxStreamSize; in FreeRTOS_maywrite()
5453 xReturn = ( BaseType_t ) pxSocket->u.xTCP.uxTxStreamSize; in FreeRTOS_tx_space()
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
DFreeRTOS_IP_Private.h611 size_t uxTxStreamSize; /**< The transmit stream size */ member
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets/
DFreeRTOS_Sockets_GenericAPI_utest.c193 TEST_ASSERT_EQUAL( xSocket->u.xTCP.uxTxStreamSize, 0xAABB ); in test_FreeRTOS_socket_TCPSocket_ProtocolDependent()
238 TEST_ASSERT_EQUAL( xSocket->u.xTCP.uxTxStreamSize, 0xAABB ); in test_FreeRTOS_socket_TCPSocket()
371 TEST_ASSERT_EQUAL( xSocket->u.xTCP.uxTxStreamSize, 0xAABB ); in test_FreeRTOS_socket_TCPv6Socket()
1739 TEST_ASSERT_EQUAL( 0xAB, xSocket.u.xTCP.uxTxStreamSize ); in test_FreeRTOS_setsockopt_SendBuff()
2896 xSocket.u.xTCP.uxTxStreamSize = 0x123; in test_FreeRTOS_maywrite_InvalidValues()
DFreeRTOS_Sockets_TCP_API_utest.c1557 xSocket.u.xTCP.uxTxStreamSize = 0xBB; in test_FreeRTOS_tx_space_NULLStream()
DFreeRTOS_Sockets_privates_utest.c1507 TEST_ASSERT_EQUAL( 0xAB, xSocket.u.xTCP.uxTxStreamSize ); in test_prvSockopt_so_buffer_InvalidOption1()