Newer
Older
// all functions inline to save execution time
// initialize timer for time measurement
inline void timer_init(void);
// start time measurement
inline void timer_start(void);
// stop time measurement, return ticks
inline uint32_t timer_stop(void);
// get timer ticks
inline uint32_t timer_ticks(void);