/* This function determines the output voltage of the LDO, as specified by the control register. */
unsigned long SysCtlLDOGet(void)
/* This function determines the output voltage of the LDO, as specified by the control register. */
unsigned long SysCtlLDOGet(void)
{
    return(HWREG(SYSCTL_LDOPCTL));
}