/* Puts the processor into deep-sleep mode. 
This function places the processor into deep-sleep mode; it will not return until the processor returns to run mode. */
void SysCtlDeepSleep(void)
/* Puts the processor into deep-sleep mode. 
This function places the processor into deep-sleep mode; it will not return until the processor returns to run mode. */
void SysCtlDeepSleep(void)
{
    xHWREG(SCB_SCR) |= SCB_SCR_SLEEPDEEP;
    xCPUwfi();
}