commit 8a25d5debff2daee280e83e09d8c25d67c26a972
author Ingo Molnar <mingo@elte.hu> Mon Jul 03 00:24:54 2006 -0700
committer Linus Torvalds <torvalds@g5.osdl.org> Mon Jul 03 15:27:04 2006 -0700
tree 3bccfef9acb66fc62863bfd6c16493c5e8c8e394
parent 4ea2176dfa714882e88180b474e4cbcd888b70af

[PATCH] lockdep: prove spinlock rwlock locking correctness

Use the lock validator framework to prove spinlock and rwlock locking
correctness.

Signed-off-by: Ingo Molnar <mingo@elte.hu>
Signed-off-by: Arjan van de Ven <arjan@linux.intel.com>
Signed-off-by: Andrew Morton <akpm@osdl.org>
Signed-off-by: Linus Torvalds <torvalds@osdl.org>

kernel/Makefile

diff --git a/kernel/Makefile b/kernel/Makefile
index df6ef326..47dbcd5 100644
--- a/kernel/Makefile
+++ b/kernel/Makefile
@@ -27,6 +27,7 @@
 obj-$(CONFIG_GENERIC_ISA_DMA) += dma.o
 obj-$(CONFIG_SMP) += cpu.o spinlock.o
 obj-$(CONFIG_DEBUG_SPINLOCK) += spinlock.o
+obj-$(CONFIG_PROVE_LOCKING) += spinlock.o
 obj-$(CONFIG_UID16) += uid16.o
 obj-$(CONFIG_MODULES) += module.o
 obj-$(CONFIG_KALLSYMS) += kallsyms.o