Index: kernel/generic/include/proc/thread.h
===================================================================
--- kernel/generic/include/proc/thread.h	(revision 1066041e4e1803c9b6506af8a869b03669a25957)
+++ kernel/generic/include/proc/thread.h	(revision ee1c2d9cd5399d6bcfa9ffa802a3e8598188074b)
@@ -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>