/* This function gets the current sample rate of the ADC. */
uint32_t SysCtlADCSpeedGet(void)
/* This function gets the current sample rate of the ADC. */
uint32_t SysCtlADCSpeedGet(void)
{
    return(HWREG(SYSCTL_RCGC0) & (SYSCTL_RCGC0_ADC1SPD_M |
                                  SYSCTL_RCGC0_ADC0SPD_M));
}