/* This function places the processor into deep-sleep mode; it will not return until the processor returns to run mode. The peripherals that are enabled via  */
void SysCtlDeepSleep(void)
/* This function places the processor into deep-sleep mode; it will not return until the processor returns to run mode. The peripherals that are enabled via  */
void SysCtlDeepSleep(void)
{
    HWREG(NVIC_SYS_CTRL) |= NVIC_SYS_CTRL_SLEEPDEEP;
    CPUwfi();
    HWREG(NVIC_SYS_CTRL) &= ~(NVIC_SYS_CTRL_SLEEPDEEP);
}