Changes in kernel/arch/abs32le/src/cpu/cpu.c [50fda24:d99c1d2] in mainline

File:

• kernel/arch/abs32le/src/cpu/cpu.c (modified) (1 diff)

kernel/arch/abs32le/src/cpu/cpu.c

@@ -35 +35 @@
 #include <arch/cpu.h>
 #include <arch.h>
-#include <arch/types.h>
+#include <typedefs.h>
 #include <print.h>
 #include <fpu_context.h>