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 ad9178bfd0abd33e2c68e542c8abcd630a99e3a2)
@@ -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 ad9178bfd0abd33e2c68e542c8abcd630a99e3a2)
@@ -47,5 +47,5 @@
 #include <typedefs.h>
 #include <arch/asm.h>
-#include <mem.h>
+#include <memw.h>
 #include <align.h>
 #include <macros.h>