Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DNS/DNSgetHostByName_cancel/
HDDNSgetHostByName_cancel_harness.c14 void vDNSInitialise( void );
55vDNSInitialise(); /* We initialize the callbacklist in order to be able to check for functions tha… in harness()
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
HDFreeRTOS_DNS.h162 void vDNSInitialise( void );
/FreeRTOS-Plus-TCP-v4.0.0/source/
HDFreeRTOS_IP.c526 vDNSInitialise(); in prvIPTask_Initialise()
660 extern void vDNSInitialise( void ); in vIPNetworkUpCalls()
661 vDNSInitialise(); in vIPNetworkUpCalls()
HDFreeRTOS_DNS.c213 void vDNSInitialise( void ) in vDNSInitialise() function
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DNS/
HDFreeRTOS_DNS_utest.c95 vDNSInitialise(); in test_vDNSInitialise()