Searched refs:virtualTimeDeinit (Results 1 – 3 of 3) sorted by relevance
316 void virtualTimeDeinit(void);
99 void virtualTimeDeinit(void) in virtualTimeDeinit() function
240 virtualTimeDeinit(); in platformDeinit()