15 lines
463 B
C
15 lines
463 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 */
|