04 Jul, 2006

2 commits

• 4ea2176df   [PATCH] lockdep: prove rwsem locking correctness ... Browse Code »

  Use the lock validator framework to prove rwsem locking correctness.

  Signed-off-by: Ingo Molnar
  Signed-off-by: Arjan van de Ven
  Signed-off-by: Andrew Morton
  Signed-off-by: Linus Torvalds

  Ingo Molnar

  2006-07-04 06:27:04 +0800  
• c4e05116a   [PATCH] lockdep: clean up rwsems ... Browse Code »

  Clean up rwsems.

  Signed-off-by: Ingo Molnar
  Signed-off-by: Andrew Morton
  Signed-off-by: Linus Torvalds

  Ingo Molnar

  2006-07-04 06:27:01 +0800