/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Utils/ |
D | FreeRTOS_TCP_Utils_utest.c | 106 TEST_ASSERT_EQUAL( ipconfigTCP_MSS, pxSocket->u.xTCP.usMSS ); in test_prvSocketSetMSS_NULL_EP() 128 TEST_ASSERT_EQUAL( 1400, pxSocket->u.xTCP.usMSS ); in test_prvSocketSetMSS_Reduced() 149 TEST_ASSERT_EQUAL( ipconfigNETWORK_MTU - 40U, pxSocket->u.xTCP.usMSS ); in test_prvSocketSetMSS_Normal()
|
/FreeRTOS-Plus-TCP-v4.0.0/source/ |
D | FreeRTOS_TCP_Reception.c | 262 if( pxSocket->u.xTCP.usMSS != uxNewMSS ) in prvSingleStepTCPHeaderOptions() 274 …FreeRTOS_debug_printf( ( "MSS change %u -> %u\n", pxSocket->u.xTCP.usMSS, ( unsigned ) uxNewMSS ) … in prvSingleStepTCPHeaderOptions() 288 if( pxSocket->u.xTCP.usMSS > uxNewMSS ) in prvSingleStepTCPHeaderOptions() 293 if( pxSocket->u.xTCP.usMSS > uxNewMSS ) in prvSingleStepTCPHeaderOptions() 297 …FreeRTOS_debug_printf( ( "Change mss %d => %u\n", pxSocket->u.xTCP.usMSS, ( unsigned ) uxNewMSS ) … in prvSingleStepTCPHeaderOptions() 302 pxTCPWindow->usMSS = ( uint16_t ) uxNewMSS; in prvSingleStepTCPHeaderOptions() 303 pxSocket->u.xTCP.usMSS = ( uint16_t ) uxNewMSS; in prvSingleStepTCPHeaderOptions()
|
D | FreeRTOS_TCP_Transmission.c | 345 if( ( ulSpace < pxSocket->u.xTCP.usMSS ) && ( ulFrontSpace >= pxSocket->u.xTCP.usMSS ) ) in prvTCPReturn_CheckTCPWindow() 347 ulSpace = pxSocket->u.xTCP.usMSS; in prvTCPReturn_CheckTCPWindow() 469 ( uint32_t ) pxSocket->u.xTCP.usMSS ); in prvTCPCreateWindow() 531 uxWinSize = pxSocket->u.xTCP.uxRxWinSize * ( size_t ) pxSocket->u.xTCP.usMSS; in prvWinScaleFactor() 543 pxSocket->u.xTCP.usMSS, in prvWinScaleFactor() 570 uint16_t usMSS = pxSocket->u.xTCP.usMSS; in prvSetSynAckOptions() local 577 pxTCPHeader->ucOptdata[ 2 ] = ( uint8_t ) ( usMSS >> 8 ); in prvSetSynAckOptions() 578 pxTCPHeader->ucOptdata[ 3 ] = ( uint8_t ) ( usMSS & 0xffU ); in prvSetSynAckOptions() 849 if( pxSocket->u.xTCP.usMSS > 1U ) in prvTCPPrepareSend() 1123 FreeRTOS_debug_printf( ( "MSS: sending %u\n", pxSocket->u.xTCP.usMSS ) ); in prvSetOptions() [all …]
|
D | FreeRTOS_TCP_Utils_IPv4.c | 87 pxSocket->u.xTCP.usMSS = ( uint16_t ) ulMSS; in prvSocketSetMSS_IPV4()
|
D | FreeRTOS_TCP_Utils_IPv6.c | 114 pxSocket->u.xTCP.usMSS = ( uint16_t ) ulMSS; in prvSocketSetMSS_IPV6()
|
D | FreeRTOS_TCP_WIN.c | 843 if( ( ulMSS < ( uint32_t ) pxWindow->usMSS ) || ( pxWindow->usMSS == 0U ) ) in vTCPWindowInit() 846 pxWindow->usMSS = ( uint16_t ) ulMSS; in vTCPWindowInit() 852 pxWindow->xTxSegment.lMaxLength = ( int32_t ) pxWindow->usMSS; in vTCPWindowInit() 1447 …gment = xTCPWindowTxNew( pxWindow, pxWindow->ulNextTxSequenceNumber, ( int32_t ) pxWindow->usMSS ); in lTCPWindowTxAdd() 1863 … ( pxWindow->xSize.ulTxWindowLength > ( 2U * ( ( uint32_t ) pxWindow->usMSS ) ) ) ) in ulTCPWindowTxGet() 1865 uint16_t usMSS2 = ( uint16_t ) ( pxWindow->usMSS * 2U ); in ulTCPWindowTxGet()
|
D | FreeRTOS_Sockets.c | 568 pxSocket->u.xTCP.usMSS = ( uint16_t ) ipconfigTCP_MSS; in prvInitialiseTCPFields() 575 if( pxSocket->u.xTCP.usMSS > usDifference ) in prvInitialiseTCPFields() 577 pxSocket->u.xTCP.usMSS = ( uint16_t ) ( pxSocket->u.xTCP.usMSS - usDifference ); in prvInitialiseTCPFields() 2371 ulNewValue = FreeRTOS_round_up( ulNewValue, ( uint32_t ) pxSocket->u.xTCP.usMSS ); in prvSockopt_so_buffer() 2529 … pxTCP->xTCPWindow.xSize.ulRxWindowLength = ( uint32_t ) ( pxTCP->uxRxWinSize * pxTCP->usMSS ); in prvSetOptionTCPWindows() 2530 … pxTCP->xTCPWindow.xSize.ulTxWindowLength = ( uint32_t ) ( pxTCP->uxTxWinSize * pxTCP->usMSS ); in prvSetOptionTCPWindows() 5000 size_t uxSegmentCount = pxSocket->u.xTCP.uxRxStreamSize / pxSocket->u.xTCP.usMSS; in prvTCPCreateStream() 5561 xReturn = ( BaseType_t ) ( pxSocket->u.xTCP.usMSS ); in FreeRTOS_mss()
|
D | FreeRTOS_TCP_State_Handling.c | 419 …enceNumber, pxSocket->u.xTCP.xTCPWindow.ulOurSequenceNumber, ( uint32_t ) pxSocket->u.xTCP.usMSS ); in prvHandleSynReceived()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Utils_IPv6/ |
D | FreeRTOS_TCP_Utils_IPv6_utest.c | 105 TEST_ASSERT_EQUAL( ipconfigTCP_MSS - ulDiffSizeIPHeader, pxSocket->u.xTCP.usMSS ); in test_prvSocketSetMSS_IPV6_GlobalAddress() 125 TEST_ASSERT_EQUAL( ipconfigTCP_MSS - ulDiffSizeIPHeader, pxSocket->u.xTCP.usMSS ); in test_prvSocketSetMSS_IPV6_NonGlobalAddress()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Transmission/ |
D | FreeRTOS_TCP_Transmission_utest.c | 289 pxSocket->u.xTCP.usMSS = 1000; in test_prvTCPSendPacket_Other_State_Something_To_Send() 358 pxSocket->u.xTCP.usMSS = 1000; in test_prvTCPSendRepeated_Zero_To_Send() 390 pxSocket->u.xTCP.usMSS = 1000; in test_prvTCPSendRepeated_Repeat_8() 458 pxSocket->u.xTCP.usMSS = 1000; in test_prvTCPReturnPacket_Null_Buffer_Null_Rx_Stream_KL() 742 pxSocket->u.xTCP.usMSS = 1000; in test_prvTCPReturnPacket_No_KL() 793 pxSocket->u.xTCP.usMSS = 1000; in test_prvTCPReturnPacket_No_KL_LocalIP() 851 pxSocket->u.xTCP.usMSS = 1000; in test_prvTCPReturnPacket_No_KL_LocalIP_GT_Eth_Packet_Length() 901 pxSocket->u.xTCP.usMSS = 1000; in test_prvTCPReturnPacket_No_KL_LocalIP_ARP_Not_Hit() 954 pxSocket->u.xTCP.usMSS = 1000; in test_prvTCPReturnPacket_No_KL_Fin_Suppress_Rx_Stop() 1002 pxSocket->u.xTCP.usMSS = 1000; in test_prvTCPReturnPacket_No_KL_Fin_Not_Suppress_Low_Water() [all …]
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Reception/ |
D | FreeRTOS_TCP_Reception_utest.c | 209 tcpWindow.usMSS = 536; in test_prvCheckOptions_MSS_WSF() 210 pxSocket->u.xTCP.usMSS = 1400; in test_prvCheckOptions_MSS_WSF() 239 tcpWindow.usMSS = 536; in test_prvCheckOptions_MSS_WSF_Bad_Option() 240 pxSocket->u.xTCP.usMSS = 1400; in test_prvCheckOptions_MSS_WSF_Bad_Option() 269 tcpWindow.usMSS = 536; in test_prvCheckOptions_MSS_WSF_Without_END() 270 pxSocket->u.xTCP.usMSS = 1400; in test_prvCheckOptions_MSS_WSF_Without_END() 298 tcpWindow.usMSS = 536; in test_prvCheckOptions_MSS_WSF_SYN_on() 299 pxSocket->u.xTCP.usMSS = 1400; in test_prvCheckOptions_MSS_WSF_SYN_on() 504 tcpWindow.usMSS = 536; in test_prvSingleStepTCPHeaderOptions_Same_MSS() 505 pxSocket->u.xTCP.usMSS = 536; in test_prvSingleStepTCPHeaderOptions_Same_MSS()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Utils_IPv6_ConfigLowTCPMSS/ |
D | FreeRTOS_TCP_Utils_IPv6_ConfigLowTCPMSS_utest.c | 84 TEST_ASSERT_EQUAL( tcpMINIMUM_SEGMENT_LENGTH - ulDiffSizeIPHeader, pxSocket->u.xTCP.usMSS ); in test_prvSocketSetMSS_IPV6_LowMSS()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_WIN/ |
D | FreeRTOS_TCP_WIN_utest.c | 342 xWindow.usMSS = 2; in test_vTCPWindowInit_MSS_not_zero() 347 TEST_ASSERT_EQUAL( ulMSS, xWindow.usMSS ); in test_vTCPWindowInit_MSS_not_zero() 358 xWindow.usMSS = 2; in test_vTCPWindowInit_MSS_not_zero_mssInit_zero() 363 TEST_ASSERT_EQUAL( ulMSS, xWindow.usMSS ); in test_vTCPWindowInit_MSS_not_zero_mssInit_zero() 374 xWindow.usMSS = 0; in test_vTCPWindowInit_MSS_not_zero_mss_zero() 379 TEST_ASSERT_EQUAL( ulMSS, xWindow.usMSS ); in test_vTCPWindowInit_MSS_not_zero_mss_zero() 1238 xWindow.usMSS = 20; in test_lTCPWindowTxAdd_lBytsLeft_gt_zero_data_length_gt_maxlen() 1284 xWindow.usMSS = 300; in test_lTCPWindowTxAdd_lBytesLeft_gt_zero_data_length_lt_maxlen() 1958 xWindow.usMSS = 10; in ignore_test_ulTCPWindowTxGet_segment_not_null() 2005 xWindow.usMSS = 10; in test_ulTCPWindowTxGet_segment_null() [all …]
|
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPHandleState/ |
D | TCPHandleState_harness.c | 79 __CPROVER_assume( pxSocket->u.xTCP.usMSS == sizeof( uint16_t ) ); in harness()
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets_DiffConfig1/ |
D | FreeRTOS_Sockets_DiffConfig1_GenericAPI_utest.c | 96 TEST_ASSERT_EQUAL( xSocket->u.xTCP.usMSS, ( uint16_t ) ipconfigTCP_MSS ); in test_FreeRTOS_socket_TCPv6SocketLowMSS()
|
/FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
D | FreeRTOS_TCP_WIN.h | 139 uint16_t usMSS; /**< Current accepted MSS */ member
|
D | FreeRTOS_IP_Private.h | 593 uint16_t usMSS; /**< Current Maximum Segment Size */ member
|
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_Sockets/ |
D | FreeRTOS_Sockets_privates_utest.c | 1500 xSocket.u.xTCP.usMSS = 0x12; in test_prvSockopt_so_buffer_InvalidOption1() 1502 FreeRTOS_round_up_ExpectAndReturn( vOptionValue, xSocket.u.xTCP.usMSS, 0xAB ); in test_prvSockopt_so_buffer_InvalidOption1() 2777 xSocket.u.xTCP.usMSS = 2; in test_prvTCPCreateStream() 2802 xSocket.u.xTCP.usMSS = 2; in test_prvTCPCreateStream1() 2829 xSocket.u.xTCP.usMSS = 10; in test_prvTCPCreateStream_LowAndHighFieldsDefined() 2859 xSocket.u.xTCP.usMSS = 10; in test_lTCPAddRxdata_StreamCannotBeAllocated() 2891 xSocket.u.xTCP.usMSS = 10; in test_lTCPAddRxdata_SteamCreationSuccessful_AllBytesAdded() 2926 xSocket.u.xTCP.usMSS = 10; in test_lTCPAddRxdata_SteamCreationSuccessful_AllBytesNotAdded() 2962 xSocket.u.xTCP.usMSS = 10; in test_lTCPAddRxdata_FrontSpaceLessThanLowMark() 3005 xSocket.u.xTCP.usMSS = 10; in test_lTCPAddRxdata_LowWaterTrue() [all …]
|
D | FreeRTOS_Sockets_GenericAPI_utest.c | 191 TEST_ASSERT_EQUAL( xSocket->u.xTCP.usMSS, ( uint16_t ) ipconfigTCP_MSS ); in test_FreeRTOS_socket_TCPSocket_ProtocolDependent() 236 TEST_ASSERT_EQUAL( xSocket->u.xTCP.usMSS, ( uint16_t ) ipconfigTCP_MSS ); in test_FreeRTOS_socket_TCPSocket() 369 …TEST_ASSERT_EQUAL( xSocket->u.xTCP.usMSS, ( uint16_t ) ipconfigTCP_MSS - ( ipSIZE_OF_IPv6_HEADER -… in test_FreeRTOS_socket_TCPv6Socket() 1732 xSocket.u.xTCP.usMSS = 0x12; in test_FreeRTOS_setsockopt_SendBuff() 1734 FreeRTOS_round_up_ExpectAndReturn( vOptionValue, xSocket.u.xTCP.usMSS, 0xAB ); in test_FreeRTOS_setsockopt_SendBuff() 1826 xSocket.u.xTCP.usMSS = 0x12; in test_FreeRTOS_setsockopt_WinPropsInvalidRxStream() 1828 FreeRTOS_round_up_ExpectAndReturn( vOptionValue.lTxBufSize, xSocket.u.xTCP.usMSS, 0xAB ); in test_FreeRTOS_setsockopt_WinPropsInvalidRxStream() 1853 xSocket.u.xTCP.usMSS = 0x12; in test_FreeRTOS_setsockopt_WinPropsTCPWinNotInit() 1856 FreeRTOS_round_up_ExpectAndReturn( vOptionValue.lTxBufSize, xSocket.u.xTCP.usMSS, 0xAB ); in test_FreeRTOS_setsockopt_WinPropsTCPWinNotInit() 1883 xSocket.u.xTCP.usMSS = 0x12; in test_FreeRTOS_setsockopt_WinPropsTCPWinInit() [all …]
|
D | FreeRTOS_Sockets_TCP_API_utest.c | 1660 xSocket.u.xTCP.usMSS = 0xFD; in test_FreeRTOS_mss()
|