Searched refs:pause_timer (Results 1 – 1 of 1) sorted by relevance
906 static void pause_timer(void *);13660 pause_timer, 0);13676 pause_timer(arg) in pause_timer() function