Home
last modified time | relevance | path

Searched refs:uxRxStreamSize (Results 1 – 11 of 11) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/lTCPAddRxdata/
DTCPAddRxdata_harness.c48 …__CPROVER_assume( pxSocket->u.xTCP.uxRxStreamSize >= 0 && pxSocket->u.xTCP.uxRxStreamSize < ipconf… in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets/
DFreeRTOS_Sockets_privates_utest.c1553 TEST_ASSERT_EQUAL( vOptionValue, xSocket.u.xTCP.uxRxStreamSize ); in test_prvSockopt_so_buffer_InvalidOption3()
2776 xSocket.u.xTCP.uxRxStreamSize = 20; in test_prvTCPCreateStream()
2778 …size_t xSizeOfBufferRequested = ( ( ( sizeof( size_t ) + xSocket.u.xTCP.uxRxStreamSize ) & ( ~( si… in test_prvTCPCreateStream()
2801 xSocket.u.xTCP.uxRxStreamSize = 0; in test_prvTCPCreateStream1()
2803 …size_t xSizeOfBufferRequested = ( ( ( sizeof( size_t ) + xSocket.u.xTCP.uxRxStreamSize ) & ( ~( si… in test_prvTCPCreateStream1()
2826 xSocket.u.xTCP.uxRxStreamSize = 20; in test_prvTCPCreateStream_LowAndHighFieldsDefined()
2831 …size_t xSizeOfBufferRequested = ( ( ( sizeof( size_t ) + xSocket.u.xTCP.uxRxStreamSize ) & ( ~( si… in test_prvTCPCreateStream_LowAndHighFieldsDefined()
2856 xSocket.u.xTCP.uxRxStreamSize = 20; in test_lTCPAddRxdata_StreamCannotBeAllocated()
2861 …size_t xSizeOfBufferRequested = ( ( ( sizeof( size_t ) + xSocket.u.xTCP.uxRxStreamSize ) & ( ~( si… in test_lTCPAddRxdata_StreamCannotBeAllocated()
2888 xSocket.u.xTCP.uxRxStreamSize = 20; in test_lTCPAddRxdata_SteamCreationSuccessful_AllBytesAdded()
[all …]
DFreeRTOS_Sockets_GenericAPI_utest.c192 TEST_ASSERT_EQUAL( xSocket->u.xTCP.uxRxStreamSize, ( size_t ) ipconfigTCP_RX_BUFFER_LENGTH ); in test_FreeRTOS_socket_TCPSocket_ProtocolDependent()
237 TEST_ASSERT_EQUAL( xSocket->u.xTCP.uxRxStreamSize, ( size_t ) ipconfigTCP_RX_BUFFER_LENGTH ); in test_FreeRTOS_socket_TCPSocket()
370 TEST_ASSERT_EQUAL( xSocket->u.xTCP.uxRxStreamSize, ( size_t ) ipconfigTCP_RX_BUFFER_LENGTH ); in test_FreeRTOS_socket_TCPv6Socket()
1682 xSocket.u.xTCP.uxRxStreamSize = vOptionValue.uxEnoughSpace - 0x12; in test_FreeRTOS_setsockopt_SetLowHighWaterInvalidValues3()
1707 xSocket.u.xTCP.uxRxStreamSize = vOptionValue.uxEnoughSpace + 0x12; in test_FreeRTOS_setsockopt_SetLowHighWaterHappyPath()
1762 TEST_ASSERT_EQUAL( vOptionValue, xSocket.u.xTCP.uxRxStreamSize ); in test_FreeRTOS_setsockopt_RecvBuff()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_DiffConfig1/
DFreeRTOS_Sockets_DiffConfig1_GenericAPI_utest.c97 TEST_ASSERT_EQUAL( xSocket->u.xTCP.uxRxStreamSize, ( size_t ) ipconfigTCP_RX_BUFFER_LENGTH ); in test_FreeRTOS_socket_TCPv6SocketLowMSS()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Reception/
DFreeRTOS_TCP_Reception_utest.c804 xSocket.u.xTCP.uxRxStreamSize = 39; in test_prvStoreRxData_Happy_Path()
919 xSocket.u.xTCP.uxRxStreamSize = 39; in test_prvStoreRxData_Null_RxStream()
956 xSocket.u.xTCP.uxRxStreamSize = 39; in test_prvStoreRxData_Negative_Offset()
996 xSocket.u.xTCP.uxRxStreamSize = 39; in test_prvStoreRxData_None_Zero_Skipcount()
1012 pxSocket->u.xTCP.uxRxStreamSize, in test_prvStoreRxData_None_Zero_Skipcount()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Transmission/
DFreeRTOS_TCP_Transmission_utest.c455 pxSocket->u.xTCP.uxRxStreamSize = 1500; in test_prvTCPReturnPacket_Null_Buffer_Null_Rx_Stream_KL()
739 pxSocket->u.xTCP.uxRxStreamSize = 1500; in test_prvTCPReturnPacket_No_KL()
790 pxSocket->u.xTCP.uxRxStreamSize = 1500; in test_prvTCPReturnPacket_No_KL_LocalIP()
848 pxSocket->u.xTCP.uxRxStreamSize = 1500; in test_prvTCPReturnPacket_No_KL_LocalIP_GT_Eth_Packet_Length()
898 pxSocket->u.xTCP.uxRxStreamSize = 1500; in test_prvTCPReturnPacket_No_KL_LocalIP_ARP_Not_Hit()
951 pxSocket->u.xTCP.uxRxStreamSize = 1500; in test_prvTCPReturnPacket_No_KL_Fin_Suppress_Rx_Stop()
999 pxSocket->u.xTCP.uxRxStreamSize = 1500; in test_prvTCPReturnPacket_No_KL_Fin_Not_Suppress_Low_Water()
1047 pxSocket->u.xTCP.uxRxStreamSize = 1500; in test_prvTCPReturnPacket_No_KL_Fin_Not_Suppress_Big_Win()
2061 pxSocket->u.xTCP.uxRxStreamSize = 1500; in test_prvSendData_AckMsg_Not_Null_Small_Length()
2114 pxSocket->u.xTCP.uxRxStreamSize = 1500; in test_prvSendData_AckMsg_Not_Null_Same_NetBuffer_Syn_State()
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_TCP_State_Handling.c958 pxNewSocket->u.xTCP.uxRxStreamSize = pxSocket->u.xTCP.uxRxStreamSize; in prvTCPSocketCopy()
DFreeRTOS_TCP_Reception.c593 ulSpace = ( uint32_t ) pxSocket->u.xTCP.uxRxStreamSize; in prvStoreRxData()
DFreeRTOS_Sockets.c582 pxSocket->u.xTCP.uxRxStreamSize = ( size_t ) ipconfigTCP_RX_BUFFER_LENGTH; in prvInitialiseTCPFields()
587 …et->u.xTCP.uxRxWinSize = FreeRTOS_max_size_t( 1U, ( pxSocket->u.xTCP.uxRxStreamSize / 2U ) / ipcon… in prvInitialiseTCPFields()
2376 pxSocket->u.xTCP.uxRxStreamSize = ulNewValue; in prvSockopt_so_buffer()
2562 ( pxLowHighWater->uxEnoughSpace > pxSocket->u.xTCP.uxRxStreamSize ) ) in prvSetOptionLowHighWater()
5000 size_t uxSegmentCount = pxSocket->u.xTCP.uxRxStreamSize / pxSocket->u.xTCP.usMSS; in prvTCPCreateStream()
5020 uxLength = pxSocket->u.xTCP.uxRxStreamSize; in prvTCPCreateStream()
5024 …pxSocket->u.xTCP.uxLittleSpace = ( uxLittlePerc * pxSocket->u.xTCP.uxRxStreamSize ) / sock100_PERC… in prvTCPCreateStream()
5029 …pxSocket->u.xTCP.uxEnoughSpace = ( uxEnoughPerc * pxSocket->u.xTCP.uxRxStreamSize ) / sock100_PERC… in prvTCPCreateStream()
DFreeRTOS_TCP_Transmission.c327 ulFrontSpace = ( uint32_t ) pxSocket->u.xTCP.uxRxStreamSize; in prvTCPReturn_CheckTCPWindow()
460 ( unsigned ) pxSocket->u.xTCP.uxRxStreamSize ) ); in prvTCPCreateWindow()
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
DFreeRTOS_IP_Private.h610 size_t uxRxStreamSize; /**< The Receive stream size */ member