void port_system_set_millis(uint32_t ms)
Sets the number of milliseconds since the system started.
void port_system_adc_start_conversion(ADC_TypeDef *p_adc, uint8_t channel)
Start the conversion of the ADC peripheral.
Header file for the temperature sensor port layer.
Header file for the LED port layer.
void ADC_IRQHandler(void)
Interrupt service routine for all the ADCs.
uint32_t port_system_get_millis(void)
Get the count of the System tick in milliseconds.
Header for port_system.c file.
void SysTick_Handler(void)
Interrupt service routine for the System tick timer (SysTick).
void port_temp_sensor_save_adc_value(port_temp_hw_t *p_temp, double adc_value)
Saves the ADC value of the temperature sensor and converts it to Celsius.
void TIM2_IRQHandler(void)
Interrupt service routine for the TIM2 timer.
port_temp_hw_t temp_sensor_thermostat