|
@@ -17,8 +17,7 @@ CONFIG_RCU_FANOUT_LEAF=2
|
|
CONFIG_RCU_NOCB_CPU=y
|
|
CONFIG_RCU_NOCB_CPU=y
|
|
CONFIG_RCU_NOCB_CPU_ALL=y
|
|
CONFIG_RCU_NOCB_CPU_ALL=y
|
|
CONFIG_DEBUG_LOCK_ALLOC=n
|
|
CONFIG_DEBUG_LOCK_ALLOC=n
|
|
-CONFIG_PROVE_LOCKING=y
|
|
|
|
-#CHECK#CONFIG_PROVE_RCU=y
|
|
|
|
|
|
+CONFIG_PROVE_LOCKING=n
|
|
CONFIG_RCU_BOOST=n
|
|
CONFIG_RCU_BOOST=n
|
|
CONFIG_DEBUG_OBJECTS_RCU_HEAD=n
|
|
CONFIG_DEBUG_OBJECTS_RCU_HEAD=n
|
|
CONFIG_RCU_EXPERT=y
|
|
CONFIG_RCU_EXPERT=y
|