X-Git-Url: http://pileus.org/git/?a=blobdiff_plain;f=kernel%2Ffork.c;h=4799c5f0e6d089a6287b7c7742a34f37146932c1;hb=7b12887244293eb54acd07c6296b830b3af0f6da;hp=1beb6c303c416051e357e7e22637e29bffffcacc;hpb=461d208cfbd1f0af26027b2c35ded515e54b1ee6;p=~andy%2Flinux

diff --git a/kernel/fork.c b/kernel/fork.c
index 1beb6c303c4..4799c5f0e6d 100644
--- a/kernel/fork.c
+++ b/kernel/fork.c
@@ -86,7 +86,14 @@ int max_threads;		/* tunable limit on nr_threads */
 DEFINE_PER_CPU(unsigned long, process_counts) = 0;
 
 __cacheline_aligned DEFINE_RWLOCK(tasklist_lock);  /* outer */
-EXPORT_SYMBOL_GPL(tasklist_lock);
+
+#ifdef CONFIG_PROVE_RCU
+int lockdep_tasklist_lock_is_held(void)
+{
+	return lockdep_is_held(&tasklist_lock);
+}
+EXPORT_SYMBOL_GPL(lockdep_tasklist_lock_is_held);
+#endif /* #ifdef CONFIG_PROVE_RCU */
 
 int nr_processes(void)
 {