Home
last modified time | relevance | path

Searched refs:timer_margin (Results 1 – 4 of 4) sorted by relevance

/drivers/watchdog/
Dintel_scu_watchdog.c45 static int timer_margin = DEFAULT_SOFT_TO_HARD_MARGIN; variable
46 module_param(timer_margin, int, 0);
47 MODULE_PARM_DESC(timer_margin,
202 timer_margin * watchdog_device.timer_tbl_ptr->freq_hz; in intel_scu_set_heartbeat()
204 (watchdog_device.timer_set - timer_margin) in intel_scu_set_heartbeat()
211 pr_debug("set_heartbeat: timer_margin is %x (hex)\n", timer_margin); in intel_scu_set_heartbeat()
445 if (check_timer_margin(timer_margin)) in intel_scu_watchdog_init()
484 timer_margin * watchdog_device.timer_tbl_ptr->freq_hz; in intel_scu_watchdog_init()
486 (watchdog_device.timer_set - timer_margin) in intel_scu_watchdog_init()
Drti_wdt.c71 u32 timer_margin; in rti_wdt_start() local
80 timer_margin = (u64)wdd->timeout * wdt->freq; in rti_wdt_start()
81 timer_margin >>= WDT_PRELOAD_SHIFT; in rti_wdt_start()
82 if (timer_margin > WDT_PRELOAD_MAX) in rti_wdt_start()
83 timer_margin = WDT_PRELOAD_MAX; in rti_wdt_start()
84 writel_relaxed(timer_margin, wdt->base + RTIDWDPRLD); in rti_wdt_start()
Ddavinci_wdt.c73 u32 timer_margin; in davinci_wdt_start() local
89 timer_margin = (((u64)wdd->timeout * wdt_freq) & 0xffffffff); in davinci_wdt_start()
90 iowrite32(timer_margin, davinci_wdt->base + PRD12); in davinci_wdt_start()
91 timer_margin = (((u64)wdd->timeout * wdt_freq) >> 32); in davinci_wdt_start()
92 iowrite32(timer_margin, davinci_wdt->base + PRD34); in davinci_wdt_start()
Domap_wdt.c51 static unsigned timer_margin; variable
52 module_param(timer_margin, uint, 0);
53 MODULE_PARM_DESC(timer_margin, "initial watchdog timeout (in seconds)");
256 watchdog_init_timeout(&wdev->wdog, timer_margin, &pdev->dev); in omap_wdt_probe()