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

[PATCH] lockdep: prove rwsem locking correctness

Use the lock validator framework to prove rwsem 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