include/arch/timer.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

#ifndef APOS_ARCH_TIMER_H
#define APOS_ARCH_TIMER_H

#include <apos/timer.h>

/* return hardware timer frequency */
ticks_t stat_timer();

/* set up timer interrupt for absolute ticks */
void set_timer(ticks_t ticks);

/* current ticks */
ticks_t current_ticks();

#endif /* APOS_ARCH_TIMER_H */