| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| HD | FreeRTOS_TCP_Transmission.c | 110 UBaseType_t uxOptionsLength, uxIntermediateResult = 0; in prvTCPSendPacket() local
156 … uxOptionsLength = prvSetSynAckOptions( pxSocket, &( pxProtocolHeaders->xTCPHeader ) ); in prvTCPSendPacket()
159 … uxIntermediateResult = uxIPHeaderSizeSocket( pxSocket ) + ipSIZE_OF_TCP_HEADER + uxOptionsLength; in prvTCPSendPacket()
166 …lHeaders->xTCPHeader.ucTCPOffset = ( uint8_t ) ( ( ipSIZE_OF_TCP_HEADER + uxOptionsLength ) << 2 ); in prvTCPSendPacket()
203 UBaseType_t uxOptionsLength = 0U; in prvTCPSendRepeated() local
210 xSendLength = prvTCPPrepareSend( pxSocket, ppxNetworkBuffer, uxOptionsLength ); in prvTCPSendRepeated()
571 UBaseType_t uxOptionsLength; in prvSetSynAckOptions() local
588 uxOptionsLength = 8U; in prvSetSynAckOptions()
592 uxOptionsLength = 4U; in prvSetSynAckOptions()
598 pxTCPHeader->ucOptdata[ uxOptionsLength ] = tcpTCP_OPT_NOOP; in prvSetSynAckOptions()
[all …]
|
| HD | FreeRTOS_TCP_State_Handling.c | 77 UBaseType_t uxOptionsLength );
85 UBaseType_t uxOptionsLength );
348 UBaseType_t uxOptionsLength ) in prvHandleSynReceived() argument
392 … uxIntermediateResult = uxIPHeaderSizeSocket( pxSocket ) + ipSIZE_OF_TCP_HEADER + uxOptionsLength; in prvHandleSynReceived()
395 … pxTCPHeader->ucTCPOffset = ( uint8_t ) ( ( ipSIZE_OF_TCP_HEADER + uxOptionsLength ) << 2 ); in prvHandleSynReceived()
458 …diateResult = uxIPHeaderSizeSocket( pxSocket ) + ( size_t ) ipSIZE_OF_TCP_HEADER + uxOptionsLength; in prvHandleSynReceived()
460 … pxTCPHeader->ucTCPOffset = ( uint8_t ) ( ( ipSIZE_OF_TCP_HEADER + uxOptionsLength ) << 2 ); in prvHandleSynReceived()
501 UBaseType_t uxOptionsLength ) in prvHandleEstablished() argument
644 … uxIntermediateResult = uxIPHeaderSizeSocket( pxSocket ) + ipSIZE_OF_TCP_HEADER + uxOptionsLength; in prvHandleEstablished()
647 … pxTCPHeader->ucTCPOffset = ( uint8_t ) ( ( ipSIZE_OF_TCP_HEADER + uxOptionsLength ) << 2 ); in prvHandleEstablished()
[all …]
|
| HD | FreeRTOS_TCP_Reception.c | 112 size_t uxOptionsLength; in prvCheckOptions() local
129 uxOptionsLength = ( size_t ) ucLength; in prvCheckOptions()
134 if( uxOptionsLength <= ( pxNetworkBuffer->xDataLength - uxOptionOffset ) ) in prvCheckOptions()
149 if( uxOptionsLength == 0U ) in prvCheckOptions()
155 … lResult = prvSingleStepTCPHeaderOptions( pucPtr, uxOptionsLength, pxSocket, xHasSYNFlag ); in prvCheckOptions()
168 uxOptionsLength -= ( size_t ) lResult; in prvCheckOptions()
|
| HD | FreeRTOS_DHCP.c | 1497 size_t uxOptionsLength = sizeof( ucDHCPRequestOptions ); in prvSendDHCPRequest() local
1507 &( uxOptionsLength ), in prvSendDHCPRequest()
1536 …( xDHCPv4Socket, pucUDPPayloadBuffer, sizeof( DHCPMessage_IPv4_t ) + uxOptionsLength, FREERTOS_ZER… in prvSendDHCPRequest()
1573 size_t uxOptionsLength = sizeof( ucDHCPDiscoverOptions ); in prvSendDHCPDiscover() local
1579 &( uxOptionsLength ), in prvSendDHCPDiscover()
1605 …configASSERT( uxOptionsLength > ( dhcpOPTION_50_OFFSET + dhcpOPTION_50_SIZE ) ); /* LCOV_EXCL_BR_L… in prvSendDHCPDiscover()
1606 uxCopyLength = uxOptionsLength - ( dhcpOPTION_50_OFFSET + dhcpOPTION_50_SIZE ); in prvSendDHCPDiscover()
1611 uxOptionsLength -= dhcpOPTION_50_SIZE; in prvSendDHCPDiscover()
1618 sizeof( DHCPMessage_IPv4_t ) + uxOptionsLength, in prvSendDHCPDiscover()
|
| HD | FreeRTOS_IP_Utils.c | 424 size_t uxOptionsLength; in prvChecksumProtocolChecks() local
433 uxOptionsLength = ( ( ( size_t ) ucLength - 5U ) << 2U ); in prvChecksumProtocolChecks()
435 pxSet->uxProtocolHeaderLength = ipSIZE_OF_TCP_HEADER + uxOptionsLength; in prvChecksumProtocolChecks()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPPrepareSend/ |
| HD | TCPPrepareSend_harness.c | 44 UBaseType_t uxOptionsLength );
95 UBaseType_t uxOptionsLength; in harness() local
99 publicTCPPrepareSend( pxSocket, &pxNetworkBuffer, uxOptionsLength ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/include/ |
| HD | aws_freertos_tcp_verification_access_tcp_define.h | 3 UBaseType_t uxOptionsLength ) in publicTCPPrepareSend() argument
5 prvTCPPrepareSend( pxSocket, ppxNetworkBuffer, uxOptionsLength ); in publicTCPPrepareSend()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
| HD | FreeRTOS_TCP_Transmission.h | 123 UBaseType_t uxOptionsLength );
166 UBaseType_t uxOptionsLength );
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_RA/ |
| HD | FreeRTOS_RA_utest.c | 544 size_t uxIndex = 0U, uxNeededSize, uxOptionsLength; in test_vReceiveRA_NullICMPPrefix_ZeroOptionLength() local
565 uxOptionsLength = 2; in test_vReceiveRA_NullICMPPrefix_ZeroOptionLength()
581 size_t uxIndex = 0U, uxNeededSize, uxOptionsLength; in test_vReceiveRA_NullICMPPrefix_NotEnoughBytes() local
602 uxOptionsLength = 2; in test_vReceiveRA_NullICMPPrefix_NotEnoughBytes()
603 pxPrefixOption->ucLength = uxOptionsLength; in test_vReceiveRA_NullICMPPrefix_NotEnoughBytes()
617 size_t uxIndex = 0U, uxNeededSize, uxOptionsLength; in test_vReceiveRA_ValidICMPPrefix_Option1() local
652 size_t uxIndex = 0U, uxNeededSize, uxOptionsLength; in test_vReceiveRA_ValidICMPPrefix_Option2() local
688 size_t uxIndex = 0U, uxNeededSize, uxOptionsLength; in test_vReceiveRA_ValidICMPPrefix_Option3() local
731 size_t uxIndex = 0U, uxNeededSize, uxOptionsLength; in test_vReceiveRA_ValidICMPPrefix_Option4() local
766 size_t uxIndex = 0U, uxNeededSize, uxOptionsLength; in test_vReceiveRA_ValidICMPPrefix_Option5() local
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_State_Handling/ |
| HD | FreeRTOS_TCP_State_Handling_utest.c | 62 UBaseType_t uxOptionsLength );
67 UBaseType_t uxOptionsLength );
|
