Index: kernel/generic/src/ipc/event.c
===================================================================
--- kernel/generic/src/ipc/event.c	(revision 719a208dbe29f92f5690472a3500c890db8f3f1f)
+++ kernel/generic/src/ipc/event.c	(revision 7367c312a2e6aa20171463840a60416c6f2d046c)
@@ -41,5 +41,4 @@
 #include <console/console.h>
 #include <proc/task.h>
-#include <memstr.h>
 #include <errno.h>
 #include <arch.h>
Index: kernel/generic/src/ipc/ipc.c
===================================================================
--- kernel/generic/src/ipc/ipc.c	(revision 719a208dbe29f92f5690472a3500c890db8f3f1f)
+++ kernel/generic/src/ipc/ipc.c	(revision 7367c312a2e6aa20171463840a60416c6f2d046c)
@@ -51,5 +51,5 @@
 #include <arch.h>
 #include <proc/task.h>
-#include <memstr.h>
+#include <mem.h>
 #include <debug.h>
 #include <print.h>
Index: kernel/generic/src/ipc/sysipc.c
===================================================================
--- kernel/generic/src/ipc/sysipc.c	(revision 719a208dbe29f92f5690472a3500c890db8f3f1f)
+++ kernel/generic/src/ipc/sysipc.c	(revision 7367c312a2e6aa20171463840a60416c6f2d046c)
@@ -35,5 +35,5 @@
 #include <arch.h>
 #include <errno.h>
-#include <memstr.h>
+#include <mem.h>
 #include <ipc/ipc.h>
 #include <abi/ipc/methods.h>