/* 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 SysCtlSleep(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 SysCtlSleep(void)
{
    SysCtlPowerDownEnable(1);
    xCPUwfi();
    SysCtlPowerDownEnable(0);
}