/* Returns the current setting of the ADC reference. */
uint32_t ADCReferenceGet(uint32_t ui32Base)
/* Returns the current setting of the ADC reference. */
uint32_t ADCReferenceGet(uint32_t ui32Base)
{
    ASSERT((ui32Base == ADC0_BASE) || (ui32Base == ADC1_BASE));
    return (HWREG(ui32Base + ADC_O_CTL) & ADC_CTL_VREF_M);
}