WATCHDOG_PULSE_WIDTH 92 drivers/watchdog/f71808e_wdt.c static unsigned int pulse_width = WATCHDOG_PULSE_WIDTH; WATCHDOG_PULSE_WIDTH 96 drivers/watchdog/f71808e_wdt.c " (default=" __MODULE_STRING(WATCHDOG_PULSE_WIDTH) ")");