Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_TCP_Transmission.c117 UBaseType_t uxOptionsLength, uxIntermediateResult = 0; in prvTCPSendPacket() local
211 UBaseType_t uxOptionsLength = 0U; in prvTCPSendRepeated() local
795 UBaseType_t uxOptionsLength; in prvSetSynAckOptions() local
851 UBaseType_t uxOptionsLength ) in prvTCPBufferResize()
951 UBaseType_t uxOptionsLength ) in prvTCPPrepareSend()
1221 UBaseType_t uxOptionsLength = pxTCPWindow->ucOptionLength; in prvSetOptions() local
DFreeRTOS_TCP_State_Handling.c354 UBaseType_t uxOptionsLength ) in prvHandleSynReceived()
502 UBaseType_t uxOptionsLength ) in prvHandleEstablished()
728 UBaseType_t uxOptionsLength = 0U; in prvTCPHandleState() local
DFreeRTOS_DHCP.c1108 size_t uxOptionsLength = sizeof( ucDHCPRequestOptions ); in prvSendDHCPRequest() local
1173 size_t uxOptionsLength = sizeof( ucDHCPDiscoverOptions ); in prvSendDHCPDiscover() local
DFreeRTOS_TCP_Reception.c112 size_t uxOptionsLength; in prvCheckOptions() local
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/TCP/prvTCPPrepareSend/
DTCPPrepareSend_harness.c82 UBaseType_t uxOptionsLength; in harness() local
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/include/
Daws_freertos_tcp_verification_access_tcp_define.h3 UBaseType_t uxOptionsLength ) in publicTCPPrepareSend()