Index: kernel/generic/include/proc/thread.h
===================================================================
--- kernel/generic/include/proc/thread.h	(revision 1066041e4e1803c9b6506af8a869b03669a25957)
+++ kernel/generic/include/proc/thread.h	(revision a25d893614487642d506ae1156dca0202b72dd8e)
@@ -41,5 +41,5 @@
 #include <cpu.h>
 #include <synch/spinlock.h>
-#include <synch/rcu.h>
+#include <synch/rcu_types.h>
 #include <adt/avl.h>
 #include <mm/slab.h>