Commits · 0a31bd5f2bbb6473ef9d24f0063ca91cfa678b64 · matisse / android_kernel_samsung_matisse

03 Jul, 2006 2 commits

[PATCH] lockdep: prove rwsem locking correctness · 4ea2176d

Ingo Molnar authored 18 years ago


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>

4ea2176d

[PATCH] lockdep: clean up rwsems · c4e05116

Ingo Molnar authored 18 years ago


Clean up rwsems.
Signed-off-by: Ingo Molnar <mingo@elte.hu>
Signed-off-by: Andrew Morton <akpm@osdl.org>
Signed-off-by: Linus Torvalds <torvalds@osdl.org>

c4e05116