[PATCH] lockdep: prove mutex locking correctness