Searched refs:mpcore_margin (Results 1 – 2 of 2) sorted by relevance
51 static int mpcore_margin = TIMER_MARGIN; variable52 module_param(mpcore_margin, int, 0);53 MODULE_PARM_DESC(mpcore_margin,104 count = (count / 256) * mpcore_margin; in mpcore_wdt_keepalive()142 mpcore_margin = t; in mpcore_wdt_set_heartbeat()281 uarg.i = mpcore_margin; in mpcore_wdt_ioctl()432 if (mpcore_wdt_set_heartbeat(mpcore_margin)) { in mpcore_wdt_init()438 printk(banner, mpcore_noboot, mpcore_margin, nowayout); in mpcore_wdt_init()
193 mpcore_margin: MPcore timer margin in seconds.194 (0 < mpcore_margin < 65536, default=60)