/* This function determines the output voltage of the LDO while in sleep mode, as specified by the control register. */
uint32_t SysCtlLDOSleepGet(void)
/* This function determines the output voltage of the LDO while in sleep mode, as specified by the control register. */
uint32_t SysCtlLDOSleepGet(void)
{
    return(HWREG(SYSCTL_LDOSPCTL));
}