Changes in kernel/genarch/src/mm/as_pt.c [d99c1d2:af863d0] in mainline

File:

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

kernel/genarch/src/mm/as_pt.c

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