Index: generic/src/synch/rwlock.c
===================================================================
--- generic/src/synch/rwlock.c	(revision 266294a9258f81b86dd330ce9d8a831828decba0)
+++ generic/src/synch/rwlock.c	(revision 7febdde5cdd33a88f9d541ba39538ee872704873)
@@ -57,5 +57,5 @@
 #include <synch/waitq.h>
 #include <synch/synch.h>
-#include <list.h>
+#include <adt/list.h>
 #include <typedefs.h>
 #include <arch/asm.h>
Index: generic/src/synch/waitq.c
===================================================================
--- generic/src/synch/waitq.c	(revision 266294a9258f81b86dd330ce9d8a831828decba0)
+++ generic/src/synch/waitq.c	(revision 7febdde5cdd33a88f9d541ba39538ee872704873)
@@ -38,5 +38,5 @@
 #include <arch.h>
 #include <context.h>
-#include <list.h>
+#include <adt/list.h>
 
 /** Initialize wait queue