/* Sets the output voltage of the LDO when the device enters sleep mode. */
void SysCtlLDOSleepSet(uint32_t ui32Voltage)
/* Sets the output voltage of the LDO when the device enters sleep mode. */
void SysCtlLDOSleepSet(uint32_t ui32Voltage)
{
    ASSERT((ui32Voltage == SYSCTL_LDO_0_90V) ||
           (ui32Voltage == SYSCTL_LDO_0_95V) ||
           (ui32Voltage == SYSCTL_LDO_1_00V) ||
           (ui32Voltage == SYSCTL_LDO_1_05V) ||
           (ui32Voltage == SYSCTL_LDO_1_10V) ||
           (ui32Voltage == SYSCTL_LDO_1_15V) ||
           (ui32Voltage == SYSCTL_LDO_1_20V));
    HWREG(SYSCTL_LDOSPCTL) = ui32Voltage;
}