Index: kernel/genarch/src/mm/as_pt.c
===================================================================
--- kernel/genarch/src/mm/as_pt.c	(revision 61eb2ce2769cc7e957b2ee93ca59919d895a7999)
+++ kernel/genarch/src/mm/as_pt.c	(revision dcd821423a6084e9e2ec7fc7a6a9ae5065d0fd07)
@@ -44,5 +44,5 @@
 #include <arch/mm/as.h>
 #include <typedefs.h>
-#include <mem.h>
+#include <memw.h>
 #include <arch.h>
 
Index: kernel/genarch/src/mm/page_pt.c
===================================================================
--- kernel/genarch/src/mm/page_pt.c	(revision 61eb2ce2769cc7e957b2ee93ca59919d895a7999)
+++ kernel/genarch/src/mm/page_pt.c	(revision dcd821423a6084e9e2ec7fc7a6a9ae5065d0fd07)
@@ -47,5 +47,5 @@
 #include <typedefs.h>
 #include <arch/asm.h>
-#include <mem.h>
+#include <memw.h>
 #include <align.h>
 #include <macros.h>