HPWDT_MAX_TIMER   230 drivers/watchdog/hpwdt.c 	.max_hw_heartbeat_ms	= HPWDT_MAX_TIMER * 1000,
HPWDT_MAX_TIMER   342 drivers/watchdog/hpwdt.c 	kdumptimeout = min(kdumptimeout, HPWDT_MAX_TIMER);