Handle rdtscp
[akaros.git] / user / parlib / include / riscv / arch.h
index fae709c..c40f6a6 100644 (file)
@@ -28,6 +28,12 @@ read_tsc(void)
 }
 
 static __inline uint64_t
+read_tscp(void)
+{
+       return read_tsc();
+}
+
+static __inline uint64_t
 read_tsc_serialized(void)
 {
        return read_tsc();