/** Not needed, timer IRQ handler called only for timer source */
#define timer_hw_triggered() (true)
+
+INLINE hptime_t timer_hw_hpticks(ticks_t clock)
+{
+ return timer_hw_hpread() + clock * TIMER_HW_CNT;
+}
+
void timer_hw_init(void);
#endif /* DRV_TIMER_AVR_H */