diff --git a/kernel/riscv.h b/kernel/riscv.h
index 0cde08d..8fbeadd 100644
--- a/kernel/riscv.h
+++ b/kernel/riscv.h
@@ -1,9 +1,9 @@
 #pragma once
 
-#include "types.h"
-
 #ifndef __ASSEMBLER__
 
+#include "types.h"
+
 // which hart (core) is this?
 static inline u64
 r_mhartid()