wd_margin         114 drivers/watchdog/ib700wdt.c 	int wd_margin = 15 - ((timeout + 1) / 2);
wd_margin         119 drivers/watchdog/ib700wdt.c 	outb_p(wd_margin, WDT_START);
wd_margin         193 drivers/watchdog/sbc8360.c static int wd_margin = 0xB;
wd_margin         226 drivers/watchdog/sbc8360.c 	outb(wd_margin, SBC8360_BASETIME);
wd_margin         361 drivers/watchdog/sbc8360.c 	wd_margin = wd_times[timeout][0];
wd_margin         365 drivers/watchdog/sbc8360.c 		mseconds = (wd_margin + 1) * 500;
wd_margin         367 drivers/watchdog/sbc8360.c 		mseconds = (wd_margin + 1) * 5000;
wd_margin         369 drivers/watchdog/sbc8360.c 		mseconds = (wd_margin + 1) * 50000;
wd_margin         371 drivers/watchdog/sbc8360.c 		mseconds = (wd_margin + 1) * 100000;