Kernel messages infrastructure
[akaros.git] / kern / arch / sparc / timer.h
1 #ifndef ROS_ARCH_TIMER_H
2 #define ROS_ARCH_TIMER_H
3
4 #define TSC_HZ 1000000 // really, this is the core clock frequency
5 #define TIMER_MAX_PERIOD (1 << 24) // in cycles
6
7 #include <ros/common.h>
8
9 typedef struct system_timing {
10         uint64_t tsc_freq;
11 } system_timing_t;
12
13 extern system_timing_t system_timing;
14
15 void timer_init(void);
16
17 #endif /* !ROS_ARCH_TIMER_H */