/* Enable the temperature sensor (only) The channel this is available on is unfortunately not consistent, even though the bit used to enable it is.  */
void adc_enable_temperature_sensor(void)
/* Enable the temperature sensor (only) The channel this is available on is unfortunately not consistent, even though the bit used to enable it is.  */
void adc_enable_temperature_sensor(void)
{
	ADC_CCR(ADC1) |= ADC_CCR_TSEN;
}