Index: kernel/generic/src/mm/as.c
===================================================================
--- kernel/generic/src/mm/as.c	(revision 137691a0a5feba69b6234f718e44f11b08988387)
+++ kernel/generic/src/mm/as.c	(revision eaf22d459455947bd485ac9ce93b76d1d374430b)
@@ -75,5 +75,5 @@
 #include <config.h>
 #include <align.h>
-#include <arch/types.h>
+#include <typedefs.h>
 #include <syscall/copy.h>
 #include <arch/interrupt.h>
Index: kernel/generic/src/mm/backend_anon.c
===================================================================
--- kernel/generic/src/mm/backend_anon.c	(revision 137691a0a5feba69b6234f718e44f11b08988387)
+++ kernel/generic/src/mm/backend_anon.c	(revision eaf22d459455947bd485ac9ce93b76d1d374430b)
@@ -47,5 +47,5 @@
 #include <adt/btree.h>
 #include <errno.h>
-#include <arch/types.h>
+#include <typedefs.h>
 #include <align.h>
 #include <arch.h>
Index: kernel/generic/src/mm/backend_elf.c
===================================================================
--- kernel/generic/src/mm/backend_elf.c	(revision 137691a0a5feba69b6234f718e44f11b08988387)
+++ kernel/generic/src/mm/backend_elf.c	(revision eaf22d459455947bd485ac9ce93b76d1d374430b)
@@ -38,5 +38,5 @@
 #include <lib/elf.h>
 #include <debug.h>
-#include <arch/types.h>
+#include <typedefs.h>
 #include <mm/as.h>
 #include <mm/frame.h>
Index: kernel/generic/src/mm/backend_phys.c
===================================================================
--- kernel/generic/src/mm/backend_phys.c	(revision 137691a0a5feba69b6234f718e44f11b08988387)
+++ kernel/generic/src/mm/backend_phys.c	(revision eaf22d459455947bd485ac9ce93b76d1d374430b)
@@ -38,5 +38,5 @@
 
 #include <debug.h>
-#include <arch/types.h>
+#include <typedefs.h>
 #include <mm/as.h>
 #include <mm/page.h>
Index: kernel/generic/src/mm/buddy.c
===================================================================
--- kernel/generic/src/mm/buddy.c	(revision 137691a0a5feba69b6234f718e44f11b08988387)
+++ kernel/generic/src/mm/buddy.c	(revision eaf22d459455947bd485ac9ce93b76d1d374430b)
@@ -41,5 +41,5 @@
 #include <mm/buddy.h>
 #include <mm/frame.h>
-#include <arch/types.h>
+#include <typedefs.h>
 #include <debug.h>
 #include <print.h>
Index: kernel/generic/src/mm/frame.c
===================================================================
--- kernel/generic/src/mm/frame.c	(revision 137691a0a5feba69b6234f718e44f11b08988387)
+++ kernel/generic/src/mm/frame.c	(revision eaf22d459455947bd485ac9ce93b76d1d374430b)
@@ -43,5 +43,5 @@
  */
 
-#include <arch/types.h>
+#include <typedefs.h>
 #include <mm/frame.h>
 #include <mm/as.h>
Index: kernel/generic/src/mm/page.c
===================================================================
--- kernel/generic/src/mm/page.c	(revision 137691a0a5feba69b6234f718e44f11b08988387)
+++ kernel/generic/src/mm/page.c	(revision eaf22d459455947bd485ac9ce93b76d1d374430b)
@@ -63,5 +63,5 @@
 #include <mm/frame.h>
 #include <arch/barrier.h>
-#include <arch/types.h>
+#include <typedefs.h>
 #include <arch/asm.h>
 #include <memstr.h>