RTIDWDPRLD
heartbeat_ms = readl(wdt->base + RTIDWDPRLD) + 1;
writel_relaxed(timer_margin, wdt->base + RTIDWDPRLD);