Searched refs:deadman_panic_timers (Results 1 – 1 of 1) sorted by relevance
1930 static int deadman_panic_timers = 1; variable1946 if (!deadman_panic_timers) in deadman()