CPU5WDT_INTERVAL 72 drivers/watchdog/cpu5wdt.c mod_timer(&cpu5wdt_device.timer, jiffies + CPU5WDT_INTERVAL); CPU5WDT_INTERVAL 102 drivers/watchdog/cpu5wdt.c mod_timer(&cpu5wdt_device.timer, jiffies + CPU5WDT_INTERVAL);