diff options
| author | Paul E. McKenney <paul.mckenney@linaro.org> | 2011-10-07 18:22:04 +0200 |
|---|---|---|
| committer | Paul E. McKenney <paulmck@linux.vnet.ibm.com> | 2011-12-11 10:31:33 -0800 |
| commit | ff195cb69ba8d2af9b891be3a26db95fe1999d43 (patch) | |
| tree | b7e3071e87e8abdf998d4d6200228ef1a9c906d6 /init | |
| parent | d8ab29f8be918b34a1ccd174569a53f0eb04b0a5 (diff) | |
| download | op-kernel-dev-ff195cb69ba8d2af9b891be3a26db95fe1999d43.zip op-kernel-dev-ff195cb69ba8d2af9b891be3a26db95fe1999d43.tar.gz | |
rcu: Warn when srcu_read_lock() is used in an extended quiescent state
Catch SRCU up to the other variants of RCU by making PROVE_RCU
complain if either srcu_read_lock() or srcu_read_lock_held() are
used from within RCU-idle mode.
Frederic reworked this to allow for the new versions of his patches
that check for extended quiescent states.
Signed-off-by: Paul E. McKenney <paul.mckenney@linaro.org>
Signed-off-by: Frederic Weisbecker <fweisbec@gmail.com>
Signed-off-by: Paul E. McKenney <paulmck@linux.vnet.ibm.com>
Reviewed-by: Josh Triplett <josh@joshtriplett.org>
Diffstat (limited to 'init')
0 files changed, 0 insertions, 0 deletions
