WATCHDOG_PULSE_WIDTH
static unsigned int pulse_width = WATCHDOG_PULSE_WIDTH;
" (default=" __MODULE_STRING(WATCHDOG_PULSE_WIDTH) ")");