[PATCH] lockdep: prove rwsem locking correctness