perf: Use NMIs for sampling HW and VM TFs
[akaros.git] / kern / arch / riscv / time.h
index d4ec70d..b237219 100644 (file)
@@ -1,17 +1,8 @@
-#ifndef ROS_KERN_ARCH_TIME_H
-#define ROS_KERN_ARCH_TIME_H
+#pragma once
 
 #define TSC_HZ 1000000000 // really, this is the core clock frequency
 
 #include <ros/common.h>
 
-typedef struct system_timing {
-       uint64_t tsc_freq;
-} system_timing_t;
-
-extern system_timing_t system_timing;
-
 void timer_init(void);
 void set_timer(uint32_t usec);
-
-#endif /* ROS_KERN_ARCH_TIME_H */