Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/TCP/prvTCPHandleState/
DTCPHandleState_harness.c73 …__CPROVER_assume( pxSocket->u.xTCP.xTCPWindow.ucOptionLength == sizeof( uint32_t ) * ipSIZE_TCP_OP… in harness()
/FreeRTOS-Plus-TCP-v3.1.0/source/include/
DFreeRTOS_TCP_WIN.h124 …uint8_t ucOptionLength; /**< Number of valid bytes … member
/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_TCP_Reception.c609 pxTCPWindow->ucOptionLength = 0U; in prvStoreRxData()
DFreeRTOS_TCP_WIN.c1122 pxWindow->ucOptionLength = ( uint8_t ) ( 3U * sizeof( pxWindow->ulOptionsData[ 0 ] ) ); in prvTCPWindowRx_UnexpectedRX()
1141 pxWindow->ucOptionLength = 0U; in prvTCPWindowRx_UnexpectedRX()
1242 pxWindow->ucOptionLength = 0U; in lTCPWindowRxCheck()
DFreeRTOS_TCP_State_Handling.c317 …iateResult = uxIPHeaderSizeSocket( pxSocket ) + ipSIZE_OF_TCP_HEADER + pxTCPWindow->ucOptionLength; in prvTCPHandleFin()
321 …PHeader->ucTCPOffset = ( uint8_t ) ( ( ipSIZE_OF_TCP_HEADER + pxTCPWindow->ucOptionLength ) << 2 ); in prvTCPHandleFin()
DFreeRTOS_TCP_Transmission.c1221 UBaseType_t uxOptionsLength = pxTCPWindow->ucOptionLength; in prvSetOptions()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_Transmission/
DFreeRTOS_TCP_Transmission_utest.c1403 pxTCPWindow->ucOptionLength = 0; in test_prvSetOptions_Zero_Option_Syn_State_No_MSS_Change()
1426 pxTCPWindow->ucOptionLength = 0; in test_prvSetOptions_Zero_Option_Syn_State_MSS_Change()
1448 pxTCPWindow->ucOptionLength = 0; in test_prvSetOptions_Zero_Option_Establish_State_No_MSS_Change()
1470 pxTCPWindow->ucOptionLength = 0; in test_prvSetOptions_Zero_Option_Establish_State_MSS_Change()
1492 pxTCPWindow->ucOptionLength = 12; in test_prvSetOptions_Establish_State_MSS_Change()