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