Index: kernel/generic/src/synch/waitq.c
===================================================================
--- kernel/generic/src/synch/waitq.c	(revision 4777e022eec9ed5750ce62ae94a262f006a515fc)
+++ kernel/generic/src/synch/waitq.c	(revision 40eab9fdcc5233a31ae07d23360a0b5fc2e5c701)
@@ -59,5 +59,5 @@
 #include <adt/list.h>
 #include <arch/cycle.h>
-#include <mem.h>
+#include <memw.h>
 
 /** Initialize wait queue