From: Andrew Morton I got a blatant false-positive and Mike got an oops. Next time, perhaps. Signed-off-by: Ingo Molnar Signed-off-by: Arjan van de Ven Signed-off-by: Andrew Morton --- lib/Kconfig.debug | 8 ++++---- 1 files changed, 4 insertions(+), 4 deletions(-) diff -puN lib/Kconfig.debug~lock-validator-enable-lock-validator-in-kconfig-not-yet lib/Kconfig.debug --- devel/lib/Kconfig.debug~lock-validator-enable-lock-validator-in-kconfig-not-yet 2006-05-29 22:33:11.000000000 -0700 +++ devel-akpm/lib/Kconfig.debug 2006-05-29 22:33:41.000000000 -0700 @@ -173,7 +173,7 @@ config DEBUG_SPINLOCK config PROVE_SPIN_LOCKING bool "Prove spin-locking correctness" depends on X86 - default y + default n help This feature enables the kernel to prove that all spinlock locking that occurs in the kernel runtime is mathematically @@ -211,7 +211,7 @@ config PROVE_SPIN_LOCKING config PROVE_RW_LOCKING bool "Prove rw-locking correctness" depends on X86 - default y + default n help This feature enables the kernel to prove that all rwlock locking that occurs in the kernel runtime is mathematically @@ -249,7 +249,7 @@ config PROVE_RW_LOCKING config PROVE_MUTEX_LOCKING bool "Prove mutex-locking correctness" depends on X86 - default y + default n help This feature enables the kernel to prove that all mutexlock locking that occurs in the kernel runtime is mathematically @@ -287,7 +287,7 @@ config PROVE_MUTEX_LOCKING config PROVE_RWSEM_LOCKING bool "Prove rwsem-locking correctness" depends on X86 - default y + default n help This feature enables the kernel to prove that all rwsemlock locking that occurs in the kernel runtime is mathematically _