124                             const CapabilityExpr &Cp, SourceLocation UnlockLoc,
833                     const CapabilityExpr &Cp, SourceLocation UnlockLoc,  in handleUnlock()  argument
839                                 !Cp, LK_Exclusive, UnlockLoc));  in handleUnlock()
873                     const CapabilityExpr &Cp, SourceLocation UnlockLoc,  in handleUnlock()  argument
880           !UnderCp, LK_Exclusive, UnlockLoc);  in handleUnlock()
894                                         UnlockLoc);  in handleUnlock()
931                   SourceLocation UnlockLoc, bool FullyRemove, LockKind Kind,
1223                                       SourceLocation UnlockLoc,  in removeLock()  argument
1231     Handler.handleUnmatchedUnlock(DiagKind, Cp.toString(), UnlockLoc);  in removeLock()
1239                                       LDat->kind(), ReceivedKind, UnlockLoc);  in removeLock()
1242   LDat->handleUnlock(FSet, FactMan, Cp, UnlockLoc, FullyRemove, Handler,  in removeLock()