Lines Matching defs:timer_margin
45 static int timer_margin = DEFAULT_SOFT_TO_HARD_MARGIN;
46 module_param(timer_margin, int, 0);
47 MODULE_PARM_DESC(timer_margin,
202 timer_margin * watchdog_device.timer_tbl_ptr->freq_hz;
204 (watchdog_device.timer_set - timer_margin)
211 pr_debug("set_heartbeat: timer_margin is %x (hex)\n", timer_margin);
444 /* Check value of timer_margin boot parameter */
445 if (check_timer_margin(timer_margin))
484 timer_margin * watchdog_device.timer_tbl_ptr->freq_hz;
486 (watchdog_device.timer_set - timer_margin)