Signed-off-by: Stijn Tintel <[email protected]>
@@ -4513,6 +4513,7 @@ CONFIG_PROC_SYSCTL=y
# CONFIG_PROFILE_ANNOTATED_BRANCHES is not set
# CONFIG_PROFILING is not set
# CONFIG_PROVE_LOCKING is not set
+# CONFIG_PROVE_RAW_LOCK_NESTING is not set
# CONFIG_PROVE_RCU is not set
# CONFIG_PROVE_RCU_LIST is not set
# CONFIG_PROVE_RCU_REPEATEDLY is not set
Stijn Tintel