/* Disable the specified ADC temperature sensor and Vrefint channel.  */
void ADC_DisableTempSensorVrefint(ADC_T *adc)
/* Disable the specified ADC temperature sensor and Vrefint channel.  */
void ADC_DisableTempSensorVrefint(ADC_T *adc)
{
    adc->CTRL2_B.TSVREFEN = BIT_RESET;
}