/* Configures the specified ADC analog watchdog guarded single channel.  */
void ADC_ConfigAnalogWatchdogSingleChannel(ADC_T *adc, uint8_t channel)
/* Configures the specified ADC analog watchdog guarded single channel.  */
void ADC_ConfigAnalogWatchdogSingleChannel(ADC_T *adc, uint8_t channel)
{
    adc->CTRL1_B.AWDCHSEL = channel;
}