WATCHDOG_TC_ENABLE
val &= ~WATCHDOG_TC_ENABLE;
WDT_WRITE(sc, WATCHDOG_TC_REG, WATCHDOG_TC_CPUS | WATCHDOG_TC_ENABLE |