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