Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_DNS_Callback.c62 TickType_t uxIdentifier = ( TickType_t ) pxSet->pxDNSMessageHeader->usIdentifier; in xDNSDoCallback() local
136 TickType_t uxIdentifier, in vDNSSetCallBack()
DFreeRTOS_DNS.c607 TickType_t uxIdentifier = 0U; in prvPrepareLookup() local
1075 TickType_t uxIdentifier, in prvDNSReply()
1137 TickType_t uxIdentifier, in prvSendBuffer()
1244 TickType_t uxIdentifier, in prvGetHostByNameOp()
1377 TickType_t uxIdentifier, in prvGetHostByNameOp_WithRetry()
1419 TickType_t uxIdentifier, in prvGetHostByName()
1471 TickType_t uxIdentifier, in prvCreateDNSMessage()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/CreateDNSMessage/
DCreateDNSMessage_harness.c49 TickType_t uxIdentifier; in harness() local
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSgetHostByName_a/
DDNSgetHostByName_a_harness.c74 TickType_t uxIdentifier, in __CPROVER_file_local_FreeRTOS_DNS_c_prvCreateDNSMessage()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSgetHostByName/
DDNSgetHostByName_harness.c171 TickType_t uxIdentifier, in __CPROVER_file_local_FreeRTOS_DNS_c_prvCreateDNSMessage()