Home
last modified time | relevance | path

Searched defs:uxIdentifier (Results 1 – 4 of 4) sorted by relevance

/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_DNS.c216 TickType_t uxIdentifier = 0U; in prvPrepareLookup() local
424 TickType_t uxIdentifier ) in prvDNSReply()
471 TickType_t uxIdentifier, in prvSendBuffer()
522 TickType_t uxIdentifier, in prvGetHostByNameOp()
579 TickType_t uxIdentifier, in prvGetHostByNameOp_WithRetry()
612 TickType_t uxIdentifier, in prvGetHostByName()
653 TickType_t uxIdentifier ) in prvCreateDNSMessage()
DFreeRTOS_DNS_Callback.c57 BaseType_t xDNSDoCallback( TickType_t uxIdentifier, in xDNSDoCallback()
110 TickType_t uxIdentifier ) in vDNSSetCallBack()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/DNS/DNSgetHostByName_a/
DDNSgetHostByName_a_harness.c72 TickType_t uxIdentifier ) in prvCreateDNSMessage()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/DNS/DNSgetHostByName/
DDNSgetHostByName_harness.c147 TickType_t uxIdentifier ) in prvCreateDNSMessage()