Searched refs:vtimer_cleanup (Results 1 – 3 of 3) sorted by relevance
74 void vtimer_cleanup(void);
265 vtimer_cleanup(void) in vtimer_cleanup() function
468 vtimer_cleanup(); in vmmops_modcleanup()