superrob1500
/
mirror-linux
mirror of https://github.com/torvalds/linux
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
46,128 Commits
1 Branch
914 Tags
8.3 GiB
Commit Graph

2 Commits (d41eb99bac4063aa3fac2dbb8ca01bedd9f0b3bf)

Author SHA1 Message Date
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
Ingo Molnar c4e05116a2 [PATCH] lockdep: clean up rwsems 
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>
 2006-07-03 15:27:01 -07:00