#ifndef ADC_H
#define ADC_H
#include <libopencm3/stm32/adc.h>
#include <libopencm3/stm32/gpio.h>
#include <libopencm3/stm32/rcc.h>
#include <stdint.h>

void adc_setup(void);
uint32_t adc_bat_voltage(void);
#endif