WATCHDOG_INTERVAL 152 kernel/time/clocksource.c watchdog_timer.expires += WATCHDOG_INTERVAL; WATCHDOG_INTERVAL 174 kernel/time/clocksource.c watchdog_timer.expires = jiffies + WATCHDOG_INTERVAL; WATCHDOG_INTERVAL 196 kernel/time/clocksource.c jiffies + WATCHDOG_INTERVAL;