Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/DNS/DNSgetHostByName_cancel/
DDNSgetHostByName_cancel_harness.c14 void vDNSInitialise( void );
54 …vDNSInitialise(); /* We initialize the callbacklist in order to be able to check for functions tha… in harness()
/FreeRTOS-Plus-TCP-v3.1.0/source/include/
DFreeRTOS_DNS.h93 void vDNSInitialise( void );
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_DNS/
DFreeRTOS_DNS_utest.c101 vDNSInitialise(); in test_vDNSInitialise()
/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_DNS.c127 void vDNSInitialise( void ) in vDNSInitialise() function
DFreeRTOS_IP.c535 extern void vDNSInitialise( void ); in vIPNetworkUpCalls()
536 vDNSInitialise(); in vIPNetworkUpCalls()