[PATCH] lockdep: prove spinlock rwlock locking correctness