VPU_WDT_REG
vpu_cfg_readl(vpu, VPU_WDT_REG) & ~(1L << 31),
VPU_WDT_REG);
vpu_cfg_readl(vpu, VPU_WDT_REG) | (1L << 31),
VPU_WDT_REG);
vpu_cfg_readl(vpu, VPU_WDT_REG));
wdt = vpu_cfg_readl(vpu, VPU_WDT_REG);