perf: Use NMIs for sampling HW and VM TFs
[akaros.git] / kern / arch / riscv / time.h
index 8c57604..b237219 100644 (file)
@@ -4,12 +4,5 @@
 
 #include <ros/common.h>
 
 
 #include <ros/common.h>
 
-typedef struct system_timing {
-       uint64_t tsc_freq;
-       uint64_t timing_overhead;
-} system_timing_t;
-
-extern system_timing_t system_timing;
-
 void timer_init(void);
 void set_timer(uint32_t usec);
 void timer_init(void);
 void set_timer(uint32_t usec);