perf: Use NMIs for sampling HW and VM TFs
[akaros.git] / kern / arch / riscv / time.h
1 #pragma once
2
3 #define TSC_HZ 1000000000 // really, this is the core clock frequency
4
5 #include <ros/common.h>
6
7 void timer_init(void);
8 void set_timer(uint32_t usec);