1 files changed, 10 insertions, 0 deletions
diff --git a/kern/thread.h b/kern/thread.h
index 58322bda..c4dbd5d1 100644
--- a/kern/thread.h
+++ b/kern/thread.h
@@ -679,6 +679,16 @@ thread_llsync_read_dec(void)
 }
 
 /*
+ * RCU functions.
+ */
+
+static inline struct rcu_reader *
+thread_rcu_reader(struct thread *thread)
+{
+    return &thread->rcu_reader;
+}
+
+/*
  * Type for thread-specific data destructor.
  */
 typedef void (*thread_dtor_fn_t)(void *);