hw_margin         112 drivers/watchdog/gpio_wdt.c 	unsigned int hw_margin;
hw_margin         140 drivers/watchdog/gpio_wdt.c 				   "hw_margin_ms", &hw_margin);
hw_margin         144 drivers/watchdog/gpio_wdt.c 	if (hw_margin < 2 || hw_margin > 65535)
hw_margin         155 drivers/watchdog/gpio_wdt.c 	priv->wdd.max_hw_heartbeat_ms = hw_margin;