143                             const CapabilityExpr &Cp, SourceLocation UnlockLoc,
902                     const CapabilityExpr &Cp, SourceLocation UnlockLoc,  in handleUnlock()  argument
912                                 !Cp, LK_Exclusive, UnlockLoc));  in handleUnlock()
1015                     const CapabilityExpr &Cp, SourceLocation UnlockLoc,  in handleUnlock()  argument
1024         unlock(FSet, FactMan, UnderlyingMutex.Cap, UnlockLoc, TSHandler);  in handleUnlock()
1029         lock(FSet, FactMan, UnderlyingMutex.Cap, kind, UnlockLoc, TSHandler);  in handleUnlock()
1109                   SourceLocation UnlockLoc, bool FullyRemove, LockKind Kind);
1358                                       SourceLocation UnlockLoc,  in removeLock()  argument
1368     Handler.handleUnmatchedUnlock(Cp.getKind(), Cp.toString(), UnlockLoc,  in removeLock()
1377                                       ReceivedKind, LDat->loc(), UnlockLoc);  in removeLock()
1380   LDat->handleUnlock(FSet, FactMan, Cp, UnlockLoc, FullyRemove, Handler);  in removeLock()