WD_TIMO           379 drivers/rtc/rtc-ds1374.c static int wdt_margin = WD_TIMO;
WD_TIMO           595 drivers/rtc/rtc-m41t80.c static int wdt_margin = WD_TIMO;
WD_TIMO            91 drivers/watchdog/octeon-wdt-main.c static int heartbeat = WD_TIMO;
WD_TIMO            95 drivers/watchdog/octeon-wdt-main.c 				__MODULE_STRING(WD_TIMO) ")");
WD_TIMO            60 drivers/watchdog/wafer5823wdt.c static int timeout = WD_TIMO;  /* in seconds */
WD_TIMO            64 drivers/watchdog/wafer5823wdt.c 				__MODULE_STRING(WD_TIMO) ".");
WD_TIMO           259 drivers/watchdog/wafer5823wdt.c 		timeout = WD_TIMO;
WD_TIMO            58 drivers/watchdog/wdt.c static int heartbeat = WD_TIMO;
WD_TIMO            63 drivers/watchdog/wdt.c 				__MODULE_STRING(WD_TIMO) ")");
WD_TIMO           599 drivers/watchdog/wdt.c 		wdt_set_heartbeat(WD_TIMO);
WD_TIMO           601 drivers/watchdog/wdt.c 			WD_TIMO);
WD_TIMO            70 drivers/watchdog/wdt_pci.c static int heartbeat = WD_TIMO;
WD_TIMO            75 drivers/watchdog/wdt_pci.c 				__MODULE_STRING(WD_TIMO) ")");
WD_TIMO           651 drivers/watchdog/wdt_pci.c 		wdtpci_set_heartbeat(WD_TIMO);
WD_TIMO           653 drivers/watchdog/wdt_pci.c 			WD_TIMO);