path: root/tools/testing/selftests/rcutorture
diff options
authorPaul E. McKenney <paulmck@linux.ibm.com>2018-11-07 15:27:40 -0800
committerPaul E. McKenney <paulmck@linux.ibm.com>2018-12-01 12:38:52 -0800
commitdf56e0f960627f606cfc6ccda25c6ab5c61953d5 (patch)
tree782ef96d7601adb22317dbe239ce91c4ace4ae08 /tools/testing/selftests/rcutorture
parenttools/kernel.h: Replace synchronize_sched() with synchronize_rcu() (diff)
rcutorture/formal: Replace synchronize_sched() with synchronize_rcu()
Now that synchronize_rcu() waits for preempt-disable regions of code as well as RCU read-side critical sections, synchronize_sched() can be replaced by synchronize_rcu(). This commit therefore makes this change, even though it is but a comment. Signed-off-by: Paul E. McKenney <paulmck@linux.ibm.com>
Diffstat (limited to 'tools/testing/selftests/rcutorture')
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/testing/selftests/rcutorture/formal/srcu-cbmc/include/linux/types.h b/tools/testing/selftests/rcutorture/formal/srcu-cbmc/include/linux/types.h
index 891ad13e95b2..d27285f8ee82 100644
--- a/tools/testing/selftests/rcutorture/formal/srcu-cbmc/include/linux/types.h
+++ b/tools/testing/selftests/rcutorture/formal/srcu-cbmc/include/linux/types.h
@@ -131,8 +131,8 @@ struct hlist_node {
* weird ABI and we need to ask it explicitly.
* The alignment is required to guarantee that bits 0 and 1 of @next will be
- * clear under normal conditions -- as long as we use call_rcu(),
- * call_rcu_bh(), call_rcu_sched(), or call_srcu() to queue callback.
+ * clear under normal conditions -- as long as we use call_rcu() or
+ * call_srcu() to queue callback.
* This guarantee is important for few reasons:
* - future call_rcu_lazy() will make use of lower bits in the pointer;