WATCHDOG_TC_REG
val = WDT_READ(sc, WATCHDOG_TC_REG);
WDT_WRITE(sc, WATCHDOG_TC_REG, val);
val = WDT_READ(sc, WATCHDOG_TC_REG);
WDT_WRITE(sc, WATCHDOG_TC_REG, val);
WDT_WRITE(sc, WATCHDOG_TC_REG, WATCHDOG_TC_CPUS | WATCHDOG_TC_ENABLE |