/* The precision internal oscillator can be powered down in deep-sleep mode by specifying  */
void SysCtlDeepSleepClockSet(uint32_t ui32Config)
/* The precision internal oscillator can be powered down in deep-sleep mode by specifying  */
void SysCtlDeepSleepClockSet(uint32_t ui32Config)
{
    HWREG(SYSCTL_DSLPCLKCFG) = ui32Config;
}