WDT_PRELOAD_SHIFT
wdd->max_hw_heartbeat_ms = (WDT_PRELOAD_MAX << WDT_PRELOAD_SHIFT) /
heartbeat_ms <<= WDT_PRELOAD_SHIFT;
timer_margin >>= WDT_PRELOAD_SHIFT;