#ifndef _BSP_TIMER_H
#define _BSP_TIMER_H

#include "gen/Apb3Timer.h"
#include <stdint.h>

inline void prescaler_init(apb3timer_t *reg, uint16_t value) {
  set_timer_prescaler(reg, value);
}

inline void timer_t0__init(apb3timer_t *reg) {
  set_timer_t0_overflow(reg, 0xffffffff);
}

inline void timer_t1__init(apb3timer_t *reg) {
  set_timer_t1_overflow(reg, 0xffffffff);
}

#endif /* _BSP_TIMER_H */