Ingo Molnar 4ea2176dfa [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>

2006-07-03 15:27:04 -07:00

2.4 KiB

Raw Blame History

View Raw