Searched refs:ucOptionLength (Results 1 – 10 of 10) sorted by relevance
75 …__CPROVER_assume( pxSocket->u.xTCP.xTCPWindow.ucOptionLength == sizeof( uint32_t ) * ipSIZE_TCP_OP… in harness()
124 …uint8_t ucOptionLength; /**< Number of valid bytes … member
158 uint8_t ucOptionLength; /**< The option length. 25 + 1 = 26 */ member
641 pxICMPHeader_IPv6->ucOptionLength = 1U; /* times 8 bytes. */ in vNDSendNeighbourSolicitation()1072 pxICMPHeader_IPv6->ucOptionLength = 1U; in prvProcessICMPMessage_IPv6()1187 pxICMPHeader_IPv6->ucOptionLength = 1; in FreeRTOS_OutputAdvertiseIPv6()
311 …int8_t ) ( uxIPHeaderSizeSocket( pxSocket ) + ipSIZE_OF_TCP_HEADER + pxTCPWindow->ucOptionLength ); in prvTCPHandleFin()315 …PHeader->ucTCPOffset = ( uint8_t ) ( ( ipSIZE_OF_TCP_HEADER + pxTCPWindow->ucOptionLength ) << 2 ); in prvTCPHandleFin()
644 pxTCPWindow->ucOptionLength = 0U; in prvStoreRxData()
1126 pxWindow->ucOptionLength = ( uint8_t ) ( 3U * sizeof( pxWindow->ulOptionsData[ 0 ] ) ); in prvTCPWindowRx_UnexpectedRX()1145 pxWindow->ucOptionLength = 0U; in prvTCPWindowRx_UnexpectedRX()1246 pxWindow->ucOptionLength = 0U; in lTCPWindowRxCheck()
1079 UBaseType_t uxOptionsLength = pxTCPWindow->ucOptionLength; in prvSetOptions()
774 TEST_ASSERT_EQUAL( pxICMPHeader_IPv6->ucOptionLength, 1U ); /* times 8 bytes. */ in test_vNDAgeCache_NSHappyPath()868 TEST_ASSERT_EQUAL( pxICMPHeader_IPv6->ucOptionLength, 1U ); /* times 8 bytes. */ in test_vNDSendNeighbourSolicitation_HappyPath()1572 TEST_ASSERT_EQUAL( pxICMPHeader_IPv6->ucOptionLength, 1U ); in test_prvProcessICMPMessage_IPv6_NeighborSolicitation()1823 TEST_ASSERT_EQUAL( pxICMPHeader_IPv6->ucOptionLength, 1 ); in test_FreeRTOS_OutputAdvertiseIPv6_HappyPath()
1841 pxTCPWindow->ucOptionLength = 0; in test_prvSetOptions_Zero_Option_Syn_State_No_MSS_Change()1866 pxTCPWindow->ucOptionLength = 0; in test_prvSetOptions_Zero_Option_Syn_State_MSS_Change()1890 pxTCPWindow->ucOptionLength = 0; in test_prvSetOptions_Zero_Option_Establish_State_No_MSS_Change()1914 pxTCPWindow->ucOptionLength = 0; in test_prvSetOptions_Zero_Option_Establish_State_MSS_Change()1938 pxTCPWindow->ucOptionLength = 12; in test_prvSetOptions_Establish_State_MSS_Change()
