Home
last modified time | relevance | path

Searched defs:uxOptionsLength (Results 1 – 8 of 8) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_TCP_Transmission.c110 UBaseType_t uxOptionsLength, uxIntermediateResult = 0; in prvTCPSendPacket() local
203 UBaseType_t uxOptionsLength = 0U; in prvTCPSendRepeated() local
571 UBaseType_t uxOptionsLength; in prvSetSynAckOptions() local
627 UBaseType_t uxOptionsLength ) in prvTCPBufferResize()
809 UBaseType_t uxOptionsLength ) in prvTCPPrepareSend()
1079 UBaseType_t uxOptionsLength = pxTCPWindow->ucOptionLength; in prvSetOptions() local
DFreeRTOS_TCP_State_Handling.c348 UBaseType_t uxOptionsLength ) in prvHandleSynReceived()
501 UBaseType_t uxOptionsLength ) in prvHandleEstablished()
727 UBaseType_t uxOptionsLength = 0U; in prvTCPHandleState() local
DFreeRTOS_DHCP.c1497 size_t uxOptionsLength = sizeof( ucDHCPRequestOptions ); in prvSendDHCPRequest() local
1573 size_t uxOptionsLength = sizeof( ucDHCPDiscoverOptions ); in prvSendDHCPDiscover() local
DFreeRTOS_TCP_Reception.c112 size_t uxOptionsLength; in prvCheckOptions() local
DFreeRTOS_IP_Utils.c424 size_t uxOptionsLength; in prvChecksumProtocolChecks() local
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/include/
Daws_freertos_tcp_verification_access_tcp_define.h3 UBaseType_t uxOptionsLength ) in publicTCPPrepareSend()
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_RA/
DFreeRTOS_RA_utest.c544 size_t uxIndex = 0U, uxNeededSize, uxOptionsLength; in test_vReceiveRA_NullICMPPrefix_ZeroOptionLength() local
581 size_t uxIndex = 0U, uxNeededSize, uxOptionsLength; in test_vReceiveRA_NullICMPPrefix_NotEnoughBytes() local
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
802 size_t uxIndex = 0U, uxNeededSize, uxOptionsLength; in test_vReceiveRA_ValidICMPPrefix_Option6() local
838 size_t uxIndex = 0U, uxNeededSize, uxOptionsLength; in test_vReceiveRA_ValidICMPPrefix_IncorrectOption() local
872 size_t uxIndex = 0U, uxNeededSize, uxOptionsLength; in test_vReceiveRA_vRAProcesss() local
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPPrepareSend/
DTCPPrepareSend_harness.c95 UBaseType_t uxOptionsLength; in harness() local