21 lines
469 B
C
21 lines
469 B
C
#ifndef _DEVICES_TIMER_H
|
|
#define _DEVICES_TIMER_H
|
|
|
|
#include <stdint.h>
|
|
|
|
#include "gen/timercounter.h"
|
|
|
|
static inline void prescaler_init(timercounter_t *reg, uint16_t value) {
|
|
set_timercounter_prescaler(reg, value);
|
|
}
|
|
|
|
static inline void timer_t0__init(timercounter_t *reg) {
|
|
set_timercounter_t0_overflow(reg, 0xffffffff);
|
|
}
|
|
|
|
static inline void timer_t1__init(timercounter_t *reg) {
|
|
set_timercounter_t1_overflow(reg, 0xffffffff);
|
|
}
|
|
|
|
#endif /* _DEVICES_TIMER_H */
|