/* Read the ADC result */
                    adc_count = AFEC1_ChannelResultGet(AFEC_CH6);