Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | [PATCH] lockdep: prove rwsem locking correctness | Ingo Molnar | 2006-07-03 |
| | | | | | | | | | 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> | ||
* | [PATCH] lockdep: clean up rwsems | Ingo Molnar | 2006-07-03 |
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> |