Index: kernel/test/mm/falloc2.c
===================================================================
--- kernel/test/mm/falloc2.c	(revision e29e44bfc60bad156c2207d4a15f29c1a1645d85)
+++ kernel/test/mm/falloc2.c	(revision de1712e4e19c9ccc82703e05e5f4805fdb28a75b)
@@ -37,5 +37,5 @@
 #include <debug.h>
 #include <proc/thread.h>
-#include <memstr.h>
+#include <mem.h>
 #include <arch.h>
 
Index: kernel/test/mm/slab1.c
===================================================================
--- kernel/test/mm/slab1.c	(revision e29e44bfc60bad156c2207d4a15f29c1a1645d85)
+++ kernel/test/mm/slab1.c	(revision de1712e4e19c9ccc82703e05e5f4805fdb28a75b)
@@ -32,5 +32,5 @@
 #include <proc/thread.h>
 #include <arch.h>
-#include <memstr.h>
+#include <mem.h>
 
 #define VAL_COUNT  1024
Index: kernel/test/mm/slab2.c
===================================================================
--- kernel/test/mm/slab2.c	(revision e29e44bfc60bad156c2207d4a15f29c1a1645d85)
+++ kernel/test/mm/slab2.c	(revision de1712e4e19c9ccc82703e05e5f4805fdb28a75b)
@@ -33,5 +33,5 @@
 #include <arch.h>
 #include <mm/frame.h>
-#include <memstr.h>
+#include <mem.h>
 #include <synch/condvar.h>
 #include <synch/mutex.h>
Index: kernel/test/synch/workq-test-core.h
===================================================================
--- kernel/test/synch/workq-test-core.h	(revision e29e44bfc60bad156c2207d4a15f29c1a1645d85)
+++ kernel/test/synch/workq-test-core.h	(revision de1712e4e19c9ccc82703e05e5f4805fdb28a75b)
@@ -32,5 +32,5 @@
 #include <print.h>
 #include <proc/thread.h>
-#include <memstr.h>
+#include <mem.h>
 #include <synch/workqueue.h>
 
Index: kernel/test/synch/workqueue2.c
===================================================================
--- kernel/test/synch/workqueue2.c	(revision e29e44bfc60bad156c2207d4a15f29c1a1645d85)
+++ kernel/test/synch/workqueue2.c	(revision de1712e4e19c9ccc82703e05e5f4805fdb28a75b)
@@ -30,5 +30,4 @@
 #include <arch.h>
 #include <print.h>
-#include <memstr.h>
 #include <synch/workqueue.h>
 
Index: kernel/test/synch/workqueue3.c
===================================================================
--- kernel/test/synch/workqueue3.c	(revision e29e44bfc60bad156c2207d4a15f29c1a1645d85)
+++ kernel/test/synch/workqueue3.c	(revision de1712e4e19c9ccc82703e05e5f4805fdb28a75b)
@@ -30,5 +30,4 @@
 #include <arch.h>
 #include <print.h>
-#include <memstr.h>
 #include <synch/workqueue.h>