Symbol: HPWDT_MAX_TIMER
drivers/watchdog/hpwdt.c
231
.max_hw_heartbeat_ms = HPWDT_MAX_TIMER * 1000,
drivers/watchdog/hpwdt.c
348
kdumptimeout = min(kdumptimeout, HPWDT_MAX_TIMER);