/* Puts the processor into sleep mode. 
This function places the processor into sleep mode; it will not return until the processor returns to run mode. */
void xSysCtlSleep(void)
/* Puts the processor into sleep mode. 
This function places the processor into sleep mode; it will not return until the processor returns to run mode. */
void xSysCtlSleep(void)
{
    xHWREG(xSYSCTL_BASE) &= ~xSYSCTL_SLEEPDEEP;
    xCPUwfi();
}