Index: kernel/generic/src/ipc/ipc.c
===================================================================
--- kernel/generic/src/ipc/ipc.c	(revision 111b9b97905c174ce8c3ed7e4e2a890da2be2d66)
+++ kernel/generic/src/ipc/ipc.c	(revision 1170cfc70c2aa7932fed750ddf238fbb29481f55)
@@ -54,5 +54,5 @@
 #include <arch.h>
 #include <proc/task.h>
-#include <mem.h>
+#include <memw.h>
 #include <stdio.h>
 #include <console/console.h>
Index: kernel/generic/src/ipc/sysipc.c
===================================================================
--- kernel/generic/src/ipc/sysipc.c	(revision 111b9b97905c174ce8c3ed7e4e2a890da2be2d66)
+++ kernel/generic/src/ipc/sysipc.c	(revision 1170cfc70c2aa7932fed750ddf238fbb29481f55)
@@ -36,5 +36,5 @@
 #include <assert.h>
 #include <errno.h>
-#include <mem.h>
+#include <memw.h>
 #include <ipc/ipc.h>
 #include <abi/ipc/methods.h>