#include "Types.h" #include "AdcHardwareConfigurator.h" #include "ModelConfig.h" void Adc_Reset(void) { AT91C_BASE_ADC->ADC_CR = AT91C_ADC_SWRST; } void Adc_ConfigureMode(void) { AT91C_BASE_ADC->ADC_MR = (((uint32)11) << 8) | (((uint32)4) << 16); } void Adc_EnableTemperatureChannel(void) { AT91C_BASE_ADC->ADC_CHER = 0x10; }