/* This function gets the current sample rate of the ADC. */
unsigned long SysCtlADCSpeedGet(void)
/* This function gets the current sample rate of the ADC. */
unsigned long SysCtlADCSpeedGet(void)
{
    return(HWREG(SYSCTL_RCGC0) & SYSCTL_RCGC0_ADCSPD_M);
}