3 files changed, 3 insertions, 5 deletions
diff --git a/arch/riscv64/kernel/cpu.c b/arch/riscv64/kernel/cpu.c
index 6ae4ee7..3583a94 100644
--- a/arch/riscv64/kernel/cpu.c
+++ b/arch/riscv64/kernel/cpu.c
@@ -1,4 +1,4 @@
-#include <apos/cpu.h>
+#include <arch/cpu.h>
 
 id_t cpu_id()
 {
diff --git a/arch/riscv64/kernel/irq.c b/arch/riscv64/kernel/irq.c
index f844dd1..a88288f 100644
--- a/arch/riscv64/kernel/irq.c
+++ b/arch/riscv64/kernel/irq.c
@@ -1,6 +1,6 @@
-#include <apos/irq.h>
 #include <apos/attrs.h>
 #include <apos/debug.h>
+#include <arch/irq.h>
 #include <csr.h>
 
 void init_irq(void *fdt)
diff --git a/arch/riscv64/kernel/vmem.c b/arch/riscv64/kernel/vmem.c
index bc1a74e..146f30f 100644
--- a/arch/riscv64/kernel/vmem.c
+++ b/arch/riscv64/kernel/vmem.c
@@ -3,9 +3,7 @@
 #include <apos/vmem.h>
 #include <apos/mem.h>
 #include <apos/debug.h>
-#include <apos/cpu.h>
-#include <pages.h>
-#include <vmem.h>
+#include <arch/cpu.h>
 #include <csr.h>
 
 #define pte_ppn(pte) (((pm_t)(pte)) >> 10)