WDT_RST
iowrite32(WDT_RST_RELOAD, wdt_base + WDT_RST);
writel(1, wdt_addr(wdt, WDT_RST));
[WDT_RST] = 0x38,
[WDT_RST] = 0x4,
writel(1, wdt_addr(wdt, WDT_RST));
writel(1, wdt_addr(wdt, WDT_RST));