145                             const CapabilityExpr &Cp, SourceLocation UnlockLoc,
879                     const CapabilityExpr &Cp, SourceLocation UnlockLoc,  in handleUnlock()  argument
885                                 !Cp, LK_Exclusive, UnlockLoc));  in handleUnlock()
950                     const CapabilityExpr &Cp, SourceLocation UnlockLoc,  in handleUnlock()  argument
959         unlock(FSet, FactMan, UnderlyingMutex.Cap, UnlockLoc, TSHandler);  in handleUnlock()
964         lock(FSet, FactMan, UnderlyingMutex.Cap, kind, UnlockLoc, TSHandler);  in handleUnlock()
1029                   SourceLocation UnlockLoc, bool FullyRemove, LockKind Kind);
1298                                       SourceLocation UnlockLoc,  in removeLock()  argument
1308     Handler.handleUnmatchedUnlock(Cp.getKind(), Cp.toString(), UnlockLoc,  in removeLock()
1317                                       ReceivedKind, LDat->loc(), UnlockLoc);  in removeLock()
1320   LDat->handleUnlock(FSet, FactMan, Cp, UnlockLoc, FullyRemove, Handler);  in removeLock()