145                             const CapabilityExpr &Cp, SourceLocation UnlockLoc,
880                     const CapabilityExpr &Cp, SourceLocation UnlockLoc,  in handleUnlock()  argument
886                                 !Cp, LK_Exclusive, UnlockLoc));  in handleUnlock()
951                     const CapabilityExpr &Cp, SourceLocation UnlockLoc,  in handleUnlock()  argument
960         unlock(FSet, FactMan, UnderlyingMutex.Cap, UnlockLoc, TSHandler);  in handleUnlock()
965         lock(FSet, FactMan, UnderlyingMutex.Cap, kind, UnlockLoc, TSHandler);  in handleUnlock()
1028                   SourceLocation UnlockLoc, bool FullyRemove, LockKind Kind);
1284                                       SourceLocation UnlockLoc,  in removeLock()  argument
1294     Handler.handleUnmatchedUnlock(Cp.getKind(), Cp.toString(), UnlockLoc,  in removeLock()
1303                                       ReceivedKind, LDat->loc(), UnlockLoc);  in removeLock()
1306   LDat->handleUnlock(FSet, FactMan, Cp, UnlockLoc, FullyRemove, Handler);  in removeLock()