tree ac2aa8e62e2b44557347f8e18b334bf469b0223d
parent bd80a6ed9726b94dbc481a777d7ed24412b74c97
author Paul E. McKenney <paulmck@linux.ibm.com> 1541633260 -0800
committer Paul E. McKenney <paulmck@linux.ibm.com> 1541633260 -0800

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>