BXE: min->MIN, plus an spatch
[akaros.git] / kern / arch / riscv / 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
6 #include <ros/common.h>
7
8 typedef struct system_timing {
9         uint64_t tsc_freq;
10         uint64_t timing_overhead;
11 } system_timing_t;
12
13 extern system_timing_t system_timing;
14
15 void timer_init(void);
16 void set_timer(uint32_t usec);
17
18 #endif /* ROS_KERN_ARCH_TIME_H */