Interrupt_disable(INT_WAKE);
   Interrupt_unregister(&wakeupISR);
   SysCtl_disableWatchdog();

   wdint_flag = WdRegs.SCSR.bit.WDINTS;     // for debug
   wd_is_active = SysCtl_isWatchdogInterruptActive();   // for debug

   EALLOW;
   SysCtl_enableWatchdogReset();
   SysCtl_resetWatchdog();
   EDIS;

   SysCtl_disableWatchdog();
   SysCtl_setWatchdogMode(SYSCTL_WD_MODE_RESET);