Kmsg debug routine
[akaros.git] / kern / arch / sparc / time.h
1 #ifndef ROS_KERN_ARCH_TIME_H
2 #define ROS_KERN_ARCH_TIME_H
3
4 #define TSC_HZ 1000000000 // really, this is the core clock frequency
5 #define TIMER_PERIOD_BITS 24
6 #define TIMER_MAX_PERIOD (1 << TIMER_PERIOD_BITS) // in cycles
7
8 #include <ros/common.h>
9
10 typedef struct system_timing {
11         uint64_t tsc_freq;
12 } system_timing_t;
13
14 extern system_timing_t system_timing;
15
16 void timer_init(void);
17 void set_timer(uint32_t usec);
18
19 #endif /* ROS_KERN_ARCH_TIME_H */