perf: Use a user_data blob for perf_event (XCC)
[akaros.git] / kern / arch / x86 / kclock.c
index 6f42dce..f5d3ae3 100644 (file)
@@ -9,7 +9,6 @@
 
 #include <kclock.h>
 
-
 unsigned
 mc146818_read(unsigned reg)
 {
@@ -24,5 +23,7 @@ mc146818_write(unsigned reg, unsigned datum)
        outb(IO_RTC+1, datum);
 }
 
-
-
+uint64_t read_persistent_clock(void)
+{
+       return 1242129600 * 1000000000UL; /* nanwan's birthday */
+}