Changes in kernel/generic/src/cpu/cpu.c [f651e80:d99c1d2] in mainline

File:

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

kernel/generic/src/cpu/cpu.c

@@ -42 +42 @@
 #include <mm/page.h>
 #include <mm/frame.h>
-#include <arch/types.h>
+#include <typedefs.h>
 #include <config.h>
 #include <panic.h>