Kmsg debug routine
[akaros.git] / kern / arch / sparc / sparc.h
index 189e197..a1132ac 100644 (file)
@@ -23,7 +23,7 @@
 #define XSTR(arg) STR(arg)
 
 #include <ros/common.h>
-#include <arch/timer.h>
+#include <arch/time.h>
 
 static __inline uint32_t read_psr(void) __attribute__((always_inline));
 static __inline uint32_t read_wim(void) __attribute__((always_inline));