tmr_margin         68 drivers/watchdog/s3c2410_wdt.c static int tmr_margin;
tmr_margin         72 drivers/watchdog/s3c2410_wdt.c module_param(tmr_margin,  int, 0);
tmr_margin         77 drivers/watchdog/s3c2410_wdt.c MODULE_PARM_DESC(tmr_margin, "Watchdog tmr_margin in seconds. (default="
tmr_margin        580 drivers/watchdog/s3c2410_wdt.c 	watchdog_init_timeout(&wdt->wdt_device, tmr_margin, dev);