1 files changed, 2 insertions, 0 deletions
diff --git a/kern/rcu.c b/kern/rcu.c
index 973d6d5..1903dcf 100644
--- a/kern/rcu.c
+++ b/kern/rcu.c
@@ -706,6 +706,8 @@ rcu_defer(struct work *work)
     struct rcu_cpu_data *cpu_data;
     unsigned long flags;
 
+    assert(!rcu_reader_in_cs(thread_rcu_reader(thread_self())));
+
     thread_preempt_disable_intr_save(&flags);
     cpu_data = rcu_get_cpu_data();
     rcu_cpu_data_queue(cpu_data, work);