From: Ingo Molnar <mingo@elte.hu>
Date: Mon, 3 Jul 2006 07:24:54 +0000 (-0700)
Subject: [PATCH] lockdep: prove spinlock rwlock locking correctness
X-Git-Tag: v2.6.18-rc1~83
X-Git-Url: http://git.openpandora.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8a25d5debff2daee280e83e09d8c25d67c26a972;p=pandora-kernel.git

[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>
---

Reading git-diff-tree failed