[PATCH 2/2] config: Add new CONFIG_PROVE_LOCKING_PLUS

[Babu Moger]

Adding the new config parameter CONFIG_PROVE_LOCKING_PLUS in case
someone needs to enable more static space for lockdep entries,
lock chains and stack traces to debug large configurations.
The default size is kept small to cover majority of the configs.

Signed-off-by: Babu Moger <babu.moger@xxxxxxxxxx>
---
 lib/Kconfig.debug |   10 ++++++++++
 1 files changed, 10 insertions(+), 0 deletions(-)

diff --git a/lib/Kconfig.debug b/lib/Kconfig.debug
index b9cfdbf..d5d995e 100644
--- a/lib/Kconfig.debug
+++ b/lib/Kconfig.debug
@@ -1070,6 +1070,16 @@ config PROVE_LOCKING
 
 	 For more details, see Documentation/locking/lockdep-design.txt.
 
+config PROVE_LOCKING_PLUS
+	bool "Reserve extra space for prove locking correctness"
+	depends on PROVE_LOCKING
+	default n
+	help
+	 This feature reserves more space for lockdep entries, lock chains
+	 and stack traces to debug large configurations. This could add
+	 about additional 4MB static memory to kernel size. This is not
+	 suitable for embedded or other limited memory configurations.
+
 config LOCKDEP
 	bool
 	depends on DEBUG_KERNEL && TRACE_IRQFLAGS_SUPPORT && STACKTRACE_SUPPORT && LOCKDEP_SUPPORT
-- 
1.7.1