55 #include PLATFORM_HEADER
57 #include "hal/error.h"
61 #include "dev/temperature-sensor.h"
63 #define SUPPLY_OFFSET 500
77 static uint16_t ADCvalue;
81 halStartAdcConversion(ADC_USER_APP, ADC_REF_INT, ADC_SOURCE(halGetADCChannelFromGPIO(
TEMPERATURE_SENSOR_GPIO),ADC_MUX_VREF2), ADC_CONVERSION_TIME_US_4096);
83 halReadAdcBlocking(ADC_USER_APP, &ADCvalue);
91 return ((18663 - (int32_t)volts)*100)/1169;