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;