|
@@ -122,3 +122,14 @@ void wakeme_after_rcu(struct rcu_head *head)
|
|
rcu = container_of(head, struct rcu_synchronize, head);
|
|
rcu = container_of(head, struct rcu_synchronize, head);
|
|
complete(&rcu->completion);
|
|
complete(&rcu->completion);
|
|
}
|
|
}
|
|
|
|
+
|
|
|
|
+#ifdef CONFIG_PROVE_RCU
|
|
|
|
+/*
|
|
|
|
+ * wrapper function to avoid #include problems.
|
|
|
|
+ */
|
|
|
|
+int rcu_my_thread_group_empty(void)
|
|
|
|
+{
|
|
|
|
+ return thread_group_empty(current);
|
|
|
|
+}
|
|
|
|
+EXPORT_SYMBOL_GPL(rcu_my_thread_group_empty);
|
|
|
|
+#endif /* #ifdef CONFIG_PROVE_RCU */
|