Index: kernel/genarch/include/mm/as_pt.h
===================================================================
--- kernel/genarch/include/mm/as_pt.h	(revision c09adc10434b7de65842eae8fc63537922e8c7d6)
+++ kernel/genarch/include/mm/as_pt.h	(revision 272f88f0092491c270b7b8e516115d98d7801676)
@@ -36,7 +36,5 @@
 #define KERN_AS_PT_H_
 
-#include <mm/mm.h>
 #include <arch/mm/page.h>
-#include <arch/types.h>
 
 #define AS_PAGE_TABLE
Index: kernel/genarch/include/mm/page_pt.h
===================================================================
--- kernel/genarch/include/mm/page_pt.h	(revision c09adc10434b7de65842eae8fc63537922e8c7d6)
+++ kernel/genarch/include/mm/page_pt.h	(revision 272f88f0092491c270b7b8e516115d98d7801676)
@@ -44,7 +44,8 @@
 #define KERN_PAGE_PT_H_
 
-#include <arch/types.h>
 #include <mm/as.h>
 #include <mm/page.h>
+#include <arch/mm/page.h>
+#include <arch/types.h>
 
 /*