Home
last modified time | relevance | path

Searched refs:ai_next (Results 1 – 5 of 5) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSgetHostByName_a/
DDNSgetHostByName_a_harness.c153 __CPROVER_assume( ( *ppxAddressInfo )->ai_next == NULL ); in Prepare_CacheLookup()
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
DFreeRTOS_DNS_Globals.h146 struct freertos_addrinfo * ai_next; /**< A pointer to the next find result, or NULL. */ member
/FreeRTOS-Plus-TCP-v4.0.0/source/
DFreeRTOS_DNS_Cache.c537 ppxLastAddress = &( pxNewAddress->ai_next ); in prvReadDNSCache()
DFreeRTOS_DNS.c340 pxNext = pxIterator->ai_next; in FreeRTOS_freeaddrinfo()
DFreeRTOS_DNS_Parser.c782 pxSet->ppxLastAddress = &( pxNewAddress->ai_next ); in parseDNSAnswer()