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);