Handle rdtscp
[akaros.git] / kern / arch / sparc / arch.h
index 10ca149..e9c12ba 100644 (file)
@@ -72,6 +72,12 @@ read_tsc(void)
        return read_perfctr(0,0);
 }
 
+static __inline uint64_t
+read_tscp(void)
+{
+       return read_tsc();
+}
+
 static __inline uint64_t 
 read_tsc_serialized(void)
 {