Symbol: WATCHDOG_PULSE_WIDTH
drivers/watchdog/f71808e_wdt.c
87
static unsigned int pulse_width = WATCHDOG_PULSE_WIDTH;
drivers/watchdog/f71808e_wdt.c
91
" (default=" __MODULE_STRING(WATCHDOG_PULSE_WIDTH) ")");