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) ")");