/* ADC Enable The VBat Sensor. 
This enables the battery voltage measurements on channel 17.  */
void adc_enable_vbat_sensor(void)
/* ADC Enable The VBat Sensor. 
This enables the battery voltage measurements on channel 17.  */
void adc_enable_vbat_sensor(void)
{
	ADC_CCR(ADC1) |= ADC_CCR_VBATEN;
}