Searched refs:reinit_timer (Results 1 – 3 of 3) sorted by relevance
162 reinit_timer(void) in reinit_timer() function
644 reinit_timer(); in local_clock()
297 extern void reinit_timer (void);