Searched defs:timer_margin (Results 1 - 4 of 4) sorted by relevance
/drivers/watchdog/ |
H A D | twl4030_wdt.c | 41 int timer_margin; member in struct:twl4030_wdt 58 return twl4030_wdt_write(wdt->timer_margin + 1); 73 wdt->timer_margin = timeout; 120 return put_user(wdt->timer_margin, p); 123 return put_user(wdt->timer_margin, p); 183 wdt->timer_margin = 30;
|
H A D | davinci_wdt.c | 91 u32 timer_margin; local 108 timer_margin = (((u64)heartbeat * wdt_freq) & 0xffffffff); 109 iowrite32(timer_margin, wdt_base + PRD12); 110 timer_margin = (((u64)heartbeat * wdt_freq) >> 32); 111 iowrite32(timer_margin, wdt_base + PRD34);
|
H A D | intel_scu_watchdog.c | 61 static int timer_margin = DEFAULT_SOFT_TO_HARD_MARGIN; variable 62 module_param(timer_margin, int, 0); 63 MODULE_PARM_DESC(timer_margin, 219 timer_margin * watchdog_device.timer_tbl_ptr->freq_hz; 221 (watchdog_device.timer_set - timer_margin) 228 pr_debug("set_hearbeat: timer_margin is %x (hex)\n", timer_margin); 461 /* Check value of timer_margin boot parameter */ 462 if (check_timer_margin(timer_margin)) 501 timer_margin * watchdog_devic [all...] |
H A D | omap_wdt.c | 55 static unsigned timer_margin; variable 56 module_param(timer_margin, uint, 0); 57 MODULE_PARM_DESC(timer_margin, "initial watchdog timeout (in seconds)"); 121 timer_margin = new_timeout; 126 u32 pre_margin = GET_WLDR_VAL(timer_margin); 261 return put_user(timer_margin, (int __user *)arg); 322 omap_wdt_adjust_timeout(timer_margin); 335 timer_margin);
|
Completed in 295 milliseconds