Searched refs:virtualTimeDeinit (Results 1 – 3 of 3) sorted by relevance
267 void virtualTimeDeinit(void);
99 void virtualTimeDeinit(void) in virtualTimeDeinit() function
315 virtualTimeDeinit(); in platformDeinitRcpMode()
