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

[PATCH] lockdep: prove mutex locking correctness

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