diff options
author | Paul E. McKenney <paulmck@linux.vnet.ibm.com> | 2015-01-19 02:01:21 (GMT) |
---|---|---|
committer | Paul E. McKenney <paulmck@linux.vnet.ibm.com> | 2015-02-26 20:02:11 (GMT) |
commit | 9bae6592d7d74dbb409e0dd8004f13af8b8d569e (patch) | |
tree | 06a5d973c460173b707b54e17c46bad2d0f7b180 /lib/Kconfig.debug | |
parent | 1925d1967c93a1c421271aade7953f6857e9f579 (diff) | |
download | linux-9bae6592d7d74dbb409e0dd8004f13af8b8d569e.tar.xz |
rcu: Drive PROVE_RCU directly off of PROVE_LOCKING
In the past, it has been useful to enable PROVE_LOCKING without also
enabling PROVE_RCU. However, experience with PROVE_RCU over the past
few years has demonstrated its usefulness, so this commit makes
PROVE_LOCKING directly imply PROVE_RCU.
Signed-off-by: Paul E. McKenney <paulmck@linux.vnet.ibm.com>
Diffstat (limited to 'lib/Kconfig.debug')
-rw-r--r-- | lib/Kconfig.debug | 11 |
1 files changed, 1 insertions, 10 deletions
diff --git a/lib/Kconfig.debug b/lib/Kconfig.debug index c5cefb3..0766672 100644 --- a/lib/Kconfig.debug +++ b/lib/Kconfig.debug @@ -1180,16 +1180,7 @@ config DEBUG_CREDENTIALS menu "RCU Debugging" config PROVE_RCU - bool "RCU debugging: prove RCU correctness" - depends on PROVE_LOCKING - default n - help - This feature enables lockdep extensions that check for correct - use of RCU APIs. This is currently under development. Say Y - if you want to debug RCU usage or help work on the PROVE_RCU - feature. - - Say N if you are unsure. + def_bool PROVE_LOCKING config PROVE_RCU_REPEATEDLY bool "RCU debugging: don't disable PROVE_RCU on first splat" |