tree 06a5d973c460173b707b54e17c46bad2d0f7b180
parent 1925d1967c93a1c421271aade7953f6857e9f579
author Paul E. McKenney <paulmck@linux.vnet.ibm.com> 1421632881 -0800
committer Paul E. McKenney <paulmck@linux.vnet.ibm.com> 1424980931 -0800

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>