1 files changed, 9 insertions, 4 deletions
diff --git a/arch/arm/machine/cpu.h b/arch/arm/machine/cpu.h
index d6b8e892..80e11a05 100644
--- a/arch/arm/machine/cpu.h
+++ b/arch/arm/machine/cpu.h
@@ -19,10 +19,6 @@
 #define _ARM_CPU_H
 
 #include <limits.h>
-#include <stdbool.h>
-#include <stdnoreturn.h>
-
-#include <kern/init.h>
 
 /*
  * L1 cache line size.
@@ -36,6 +32,13 @@
  */
 #define CPU_DATA_ALIGN (LONG_BIT / 8)
 
+#ifndef __ASSEMBLER__
+
+#include <stdbool.h>
+#include <stdnoreturn.h>
+
+#include <kern/init.h>
+
 struct cpu {
 };
 
@@ -138,4 +141,6 @@ INIT_OP_DECLARE(cpu_setup);
  */
 INIT_OP_DECLARE(cpu_mp_probe);
 
+#endif /* __ASSEMBLER__ */
+
 #endif /* _ARM_CPU_H */