Redefines PTE present vs mapped
[akaros.git] / kern / arch / riscv / time.c
index da9b215..ba7654c 100644 (file)
@@ -1,6 +1,6 @@
 #include <arch/time.h>
 #include <ros/common.h>
-#include <arch/trap.h>
+#include <trap.h>
 #include <arch/arch.h>
 #include <stdio.h>
 #include <assert.h>