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