/* This function returns the output voltage of the LDO when the device is in deep-sleep mode, as specified by the control register. */
uint32_t SysCtlLDODeepSleepGet(void)
/* This function returns the output voltage of the LDO when the device is in deep-sleep mode, as specified by the control register. */
uint32_t SysCtlLDODeepSleepGet(void)
{
    return(HWREG(SYSCTL_LDODPCTL));
}