WDT_CLOCK          55 drivers/watchdog/ftwdt010_wdt.c 	writel(wdd->timeout * WDT_CLOCK, gwdt->base + FTWDT010_WDLOAD);
WDT_CLOCK         141 drivers/watchdog/ftwdt010_wdt.c 	gwdt->wdd.max_timeout = 0xFFFFFFFF / WDT_CLOCK;
WDT_CLOCK         139 drivers/watchdog/wdt_pci.c 	outb(0, WDT_CLOCK);		/* 2.0833MHz clock */