| /FreeRTOS-Plus-TCP-v3.1.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 | 354 … if( ( ulSpace < pxSocket->u.xTCP.usMSS ) && ( ulFrontSpace >= pxSocket->u.xTCP.usMSS ) ) in prvTCPReturnPacket() 356 ulSpace = pxSocket->u.xTCP.usMSS; in prvTCPReturnPacket() 582 ( uint32_t ) pxSocket->u.xTCP.usMSS ); in prvTCPCreateWindow() 755 uxWinSize = pxSocket->u.xTCP.uxRxWinSize * ( size_t ) pxSocket->u.xTCP.usMSS; in prvWinScaleFactor() 767 pxSocket->u.xTCP.usMSS, in prvWinScaleFactor() 794 uint16_t usMSS = pxSocket->u.xTCP.usMSS; in prvSetSynAckOptions() local 801 pxTCPHeader->ucOptdata[ 2 ] = ( uint8_t ) ( usMSS >> 8 ); in prvSetSynAckOptions() 802 pxTCPHeader->ucOptdata[ 3 ] = ( uint8_t ) ( usMSS & 0xffU ); in prvSetSynAckOptions() 991 if( pxSocket->u.xTCP.usMSS > 1U ) in prvTCPPrepareSend() 1265 FreeRTOS_debug_printf( ( "MSS: sending %u\n", pxSocket->u.xTCP.usMSS ) ); in prvSetOptions() [all …]
|
| D | FreeRTOS_TCP_Utils.c | 114 pxSocket->u.xTCP.usMSS = ( uint16_t ) ulMSS; in prvSocketSetMSS()
|
| D | FreeRTOS_TCP_WIN.c | 839 if( ( ulMSS < ( uint32_t ) pxWindow->usMSS ) || ( pxWindow->usMSS == 0U ) ) in vTCPWindowInit() 842 pxWindow->usMSS = ( uint16_t ) ulMSS; in vTCPWindowInit() 848 pxWindow->xTxSegment.lMaxLength = ( int32_t ) pxWindow->usMSS; in vTCPWindowInit() 1443 …gment = xTCPWindowTxNew( pxWindow, pxWindow->ulNextTxSequenceNumber, ( int32_t ) pxWindow->usMSS ); in lTCPWindowTxAdd() 1859 … ( pxWindow->xSize.ulTxWindowLength > ( 2U * ( ( uint32_t ) pxWindow->usMSS ) ) ) ) in ulTCPWindowTxGet() 1861 uint16_t usMSS2 = pxWindow->usMSS * 2U; in ulTCPWindowTxGet()
|
| D | FreeRTOS_Sockets.c | 486 pxSocket->u.xTCP.usMSS = ( uint16_t ) ipconfigTCP_MSS; in FreeRTOS_socket() 1759 ulNewValue = FreeRTOS_round_up( ulNewValue, ( uint32_t ) pxSocket->u.xTCP.usMSS ); in prvSockopt_so_buffer() 2058 … pxTCP->xTCPWindow.xSize.ulRxWindowLength = ( uint32_t ) ( pxTCP->uxRxWinSize * pxTCP->usMSS ); in FreeRTOS_setsockopt() 2059 … pxTCP->xTCPWindow.xSize.ulTxWindowLength = ( uint32_t ) ( pxTCP->uxTxWinSize * pxTCP->usMSS ); in FreeRTOS_setsockopt() 4193 size_t uxSegmentCount = pxSocket->u.xTCP.uxRxStreamSize / pxSocket->u.xTCP.usMSS; in prvTCPCreateStream() 4649 xReturn = ( BaseType_t ) ( pxSocket->u.xTCP.usMSS ); in FreeRTOS_mss()
|
| D | FreeRTOS_TCP_State_Handling.c | 425 …enceNumber, pxSocket->u.xTCP.xTCPWindow.ulOurSequenceNumber, ( uint32_t ) pxSocket->u.xTCP.usMSS ); in prvHandleSynReceived()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_Utils/ |
| D | FreeRTOS_TCP_Utils_utest.c | 96 TEST_ASSERT_EQUAL( 1400, pxSocket->u.xTCP.usMSS ); in test_prvSocketSetMSS_Reduced() 107 TEST_ASSERT_EQUAL( ipconfigNETWORK_MTU - 40U, pxSocket->u.xTCP.usMSS ); in test_prvSocketSetMSS_Normal()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_Transmission/ |
| D | FreeRTOS_TCP_Transmission_utest.c | 245 pxSocket->u.xTCP.usMSS = 1000; in test_prvTCPSendPacket_Other_State_Something_To_Send() 296 pxSocket->u.xTCP.usMSS = 1000; in test_prvTCPSendRepeated_Zero_To_Send() 321 pxSocket->u.xTCP.usMSS = 1000; in test_prvTCPSendRepeated_Repeat_8() 361 pxSocket->u.xTCP.usMSS = 1000; in test_prvTCPReturnPacket_Null_Buffer_Null_Rx_Stream_KL() 447 pxSocket->u.xTCP.usMSS = 1000; in test_prvTCPReturnPacket_No_KL() 483 pxSocket->u.xTCP.usMSS = 1000; in test_prvTCPReturnPacket_No_KL_LocalIP() 526 pxSocket->u.xTCP.usMSS = 1000; in test_prvTCPReturnPacket_No_KL_LocalIP_GT_Eth_Packet_Length() 568 pxSocket->u.xTCP.usMSS = 1000; in test_prvTCPReturnPacket_No_KL_LocalIP_ARP_Not_Hit() 615 pxSocket->u.xTCP.usMSS = 1000; in test_prvTCPReturnPacket_No_KL_Fin_Suppress_Rx_Stop() 654 pxSocket->u.xTCP.usMSS = 1000; in test_prvTCPReturnPacket_No_KL_Fin_Not_Suppress_Low_Water() [all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_Reception/ |
| D | FreeRTOS_TCP_Reception_utest.c | 203 tcpWindow.usMSS = 536; in test_prvCheckOptions_MSS_WSF() 204 pxSocket->u.xTCP.usMSS = 1400; in test_prvCheckOptions_MSS_WSF() 230 tcpWindow.usMSS = 536; in test_prvCheckOptions_MSS_WSF_Bad_Option() 231 pxSocket->u.xTCP.usMSS = 1400; in test_prvCheckOptions_MSS_WSF_Bad_Option() 257 tcpWindow.usMSS = 536; in test_prvCheckOptions_MSS_WSF_Without_END() 258 pxSocket->u.xTCP.usMSS = 1400; in test_prvCheckOptions_MSS_WSF_Without_END() 285 tcpWindow.usMSS = 536; in test_prvCheckOptions_MSS_WSF_SYN_on() 286 pxSocket->u.xTCP.usMSS = 1400; in test_prvCheckOptions_MSS_WSF_SYN_on() 490 tcpWindow.usMSS = 536; in test_prvSingleStepTCPHeaderOptions_Same_MSS() 491 pxSocket->u.xTCP.usMSS = 536; in test_prvSingleStepTCPHeaderOptions_Same_MSS()
|
| /FreeRTOS-Plus-TCP-v3.1.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-v3.1.0/test/cbmc/proofs/TCP/prvTCPHandleState/ |
| D | TCPHandleState_harness.c | 77 __CPROVER_assume( pxSocket->u.xTCP.usMSS == sizeof( uint16_t ) ); in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets/ |
| D | FreeRTOS_Sockets_privates_utest.c | 1418 xSocket.u.xTCP.usMSS = 0x12; in test_prvSockopt_so_buffer_InvalidOption1() 1420 FreeRTOS_round_up_ExpectAndReturn( vOptionValue, xSocket.u.xTCP.usMSS, 0xAB ); in test_prvSockopt_so_buffer_InvalidOption1() 2608 xSocket.u.xTCP.usMSS = 2; in test_prvTCPCreateStream() 2633 xSocket.u.xTCP.usMSS = 2; in test_prvTCPCreateStream1() 2660 xSocket.u.xTCP.usMSS = 10; in test_prvTCPCreateStream_LowAndHighFieldsDefined() 2690 xSocket.u.xTCP.usMSS = 10; in test_lTCPAddRxdata_StreamCannotBeAllocated() 2722 xSocket.u.xTCP.usMSS = 10; in test_lTCPAddRxdata_SteamCreationSuccessful_AllBytesAdded() 2757 xSocket.u.xTCP.usMSS = 10; in test_lTCPAddRxdata_SteamCreationSuccessful_AllBytesNotAdded() 2793 xSocket.u.xTCP.usMSS = 10; in test_lTCPAddRxdata_FrontSpaceLessThanLowMark() 2836 xSocket.u.xTCP.usMSS = 10; in test_lTCPAddRxdata_LowWaterTrue() [all …]
|
| D | FreeRTOS_Sockets_GenericAPI_utest.c | 345 TEST_ASSERT_EQUAL( xSocket->u.xTCP.usMSS, ( uint16_t ) ipconfigTCP_MSS ); in test_FreeRTOS_socket_TCPSocket_ProtocolDependent() 390 TEST_ASSERT_EQUAL( xSocket->u.xTCP.usMSS, ( uint16_t ) ipconfigTCP_MSS ); in test_FreeRTOS_socket_TCPSocket() 1761 xSocket.u.xTCP.usMSS = 0x12; in test_FreeRTOS_setsockopt_SendBuff() 1763 FreeRTOS_round_up_ExpectAndReturn( vOptionValue, xSocket.u.xTCP.usMSS, 0xAB ); in test_FreeRTOS_setsockopt_SendBuff() 1855 xSocket.u.xTCP.usMSS = 0x12; in test_FreeRTOS_setsockopt_WinPropsInvalidRxStream() 1857 FreeRTOS_round_up_ExpectAndReturn( vOptionValue.lTxBufSize, xSocket.u.xTCP.usMSS, 0xAB ); in test_FreeRTOS_setsockopt_WinPropsInvalidRxStream() 1882 xSocket.u.xTCP.usMSS = 0x12; in test_FreeRTOS_setsockopt_WinPropsTCPWinNotInit() 1885 FreeRTOS_round_up_ExpectAndReturn( vOptionValue.lTxBufSize, xSocket.u.xTCP.usMSS, 0xAB ); in test_FreeRTOS_setsockopt_WinPropsTCPWinNotInit() 1912 xSocket.u.xTCP.usMSS = 0x12; in test_FreeRTOS_setsockopt_WinPropsTCPWinInit() 1915 FreeRTOS_round_up_ExpectAndReturn( vOptionValue.lTxBufSize, xSocket.u.xTCP.usMSS, 0xAB ); in test_FreeRTOS_setsockopt_WinPropsTCPWinInit() [all …]
|
| D | FreeRTOS_Sockets_TCP_API_utest.c | 1524 xSocket.u.xTCP.usMSS = 0xFD; in test_FreeRTOS_mss()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/include/ |
| D | FreeRTOS_TCP_WIN.h | 139 uint16_t usMSS; /**< Current accepted MSS */ member
|
| D | FreeRTOS_IP_Private.h | 575 uint16_t usMSS; /**< Current Maximum Segment Size */ member
|