MTX1_WDT_INTERVAL   73 drivers/watchdog/mtx-1_wdt.c 		mod_timer(&mtx1_wdt_device.timer, jiffies + MTX1_WDT_INTERVAL);
MTX1_WDT_INTERVAL   94 drivers/watchdog/mtx-1_wdt.c 		mod_timer(&mtx1_wdt_device.timer, jiffies + MTX1_WDT_INTERVAL);