GXBB_WDT_TCNT_SETUP_MASK
return ((reg & GXBB_WDT_TCNT_SETUP_MASK) -
data->wdt_dev.max_hw_heartbeat_ms = GXBB_WDT_TCNT_SETUP_MASK;
GXBB_WDT_TCNT_SETUP_MASK / 1000);
if (tcnt > GXBB_WDT_TCNT_SETUP_MASK)
tcnt = GXBB_WDT_TCNT_SETUP_MASK;