Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/DNS/DNSclear/
DDNSclear_harness.c15 FreeRTOS_dnsclear(); in harness()
/FreeRTOS-Plus-TCP-v3.1.0/source/include/
DFreeRTOS_DNS_Cache.h44 void FreeRTOS_dnsclear( void );
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_DNS_Cache/
DFreeRTOS_DNS_Cache_utest.c82 FreeRTOS_dnsclear(); in setUp()
/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_DNS_Cache.c139 void FreeRTOS_dnsclear( void ) in FreeRTOS_dnsclear() function
/FreeRTOS-Plus-TCP-v3.1.0/
DHistory.txt97 + Added a function FreeRTOS_dnsclear() which invalidates the entire DNS cache.