Changes in kernel/genarch/src/mm/page_pt.c [d99c1d2:e32e092] in mainline

File:

• kernel/genarch/src/mm/page_pt.c (modified) (1 diff)

kernel/genarch/src/mm/page_pt.c

@@ -42 +42 @@
 #include <arch/mm/page.h>
 #include <arch/mm/as.h>
-#include <typedefs.h>
+#include <arch/types.h>
 #include <arch/asm.h>
 #include <memstr.h>