Symbol: RTIDWDPRLD
drivers/watchdog/rti_wdt.c
100
writel_relaxed(timer_margin, wdt->base + RTIDWDPRLD);
drivers/watchdog/rti_wdt.c
297
heartbeat_ms = readl(wdt->base + RTIDWDPRLD) + 1;