Searched refs:__restart_timer (Results 1 – 1 of 1) sorted by relevance
1279 static void __restart_timer(struct timer_list *t, unsigned long interval) in __restart_timer() function1327 __restart_timer(t, iv); in mce_timer_fn()1338 __restart_timer(t, interval); in mce_timer_kick()