timer_margin       73 drivers/watchdog/davinci_wdt.c 	u32 timer_margin;
timer_margin       89 drivers/watchdog/davinci_wdt.c 	timer_margin = (((u64)wdd->timeout * wdt_freq) & 0xffffffff);
timer_margin       90 drivers/watchdog/davinci_wdt.c 	iowrite32(timer_margin, davinci_wdt->base + PRD12);
timer_margin       91 drivers/watchdog/davinci_wdt.c 	timer_margin = (((u64)wdd->timeout * wdt_freq) >> 32);
timer_margin       92 drivers/watchdog/davinci_wdt.c 	iowrite32(timer_margin, davinci_wdt->base + PRD34);
timer_margin       45 drivers/watchdog/intel_scu_watchdog.c static int timer_margin = DEFAULT_SOFT_TO_HARD_MARGIN;
timer_margin       46 drivers/watchdog/intel_scu_watchdog.c module_param(timer_margin, int, 0);
timer_margin       47 drivers/watchdog/intel_scu_watchdog.c MODULE_PARM_DESC(timer_margin,
timer_margin      202 drivers/watchdog/intel_scu_watchdog.c 		timer_margin * watchdog_device.timer_tbl_ptr->freq_hz;
timer_margin      204 drivers/watchdog/intel_scu_watchdog.c 		(watchdog_device.timer_set - timer_margin)
timer_margin      211 drivers/watchdog/intel_scu_watchdog.c 	pr_debug("set_heartbeat: timer_margin is %x (hex)\n", timer_margin);
timer_margin      444 drivers/watchdog/intel_scu_watchdog.c 	if (check_timer_margin(timer_margin))
timer_margin      483 drivers/watchdog/intel_scu_watchdog.c 		timer_margin * watchdog_device.timer_tbl_ptr->freq_hz;
timer_margin      485 drivers/watchdog/intel_scu_watchdog.c 		(watchdog_device.timer_set - timer_margin)
timer_margin       51 drivers/watchdog/omap_wdt.c static unsigned timer_margin;
timer_margin       52 drivers/watchdog/omap_wdt.c module_param(timer_margin, uint, 0);
timer_margin       53 drivers/watchdog/omap_wdt.c MODULE_PARM_DESC(timer_margin, "initial watchdog timeout (in seconds)");
timer_margin      256 drivers/watchdog/omap_wdt.c 	watchdog_init_timeout(&wdev->wdog, timer_margin, &pdev->dev);