Paul E. McKenney df56e0f960 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>		2018-12-01 12:38:52 -08:00
..
empty_includes
include/linux	rcutorture/formal: Replace synchronize_sched() with synchronize_rcu()	2018-12-01 12:38:52 -08:00
src	Merge branch 'linus' into locking/core, to resolve conflicts	2017-11-07 10:32:44 +01:00
tests	License cleanup: add SPDX GPL-2.0 license identifier to files with no license	2017-11-02 11:10:55 +01:00
.gitignore
Makefile	License cleanup: add SPDX GPL-2.0 license identifier to files with no license	2017-11-02 11:10:55 +01:00
modify_srcu.awk	License cleanup: add SPDX GPL-2.0 license identifier to files with no license	2017-11-02 11:10:55 +01:00