144                             const CapabilityExpr &Cp, SourceLocation UnlockLoc,
881                     const CapabilityExpr &Cp, SourceLocation UnlockLoc,  in handleUnlock()  argument
887                                 !Cp, LK_Exclusive, UnlockLoc));  in handleUnlock()
958                     const CapabilityExpr &Cp, SourceLocation UnlockLoc,  in handleUnlock()  argument
969         unlock(FSet, FactMan, UnderCp, UnlockLoc, TSHandler, DiagKind);  in handleUnlock()
974         lock(FSet, FactMan, UnderCp, kind, UnlockLoc, TSHandler, DiagKind);  in handleUnlock()
1033                   SourceLocation UnlockLoc, bool FullyRemove, LockKind Kind,
1323                                       SourceLocation UnlockLoc,  in removeLock()  argument
1331     Handler.handleUnmatchedUnlock(DiagKind, Cp.toString(), UnlockLoc);  in removeLock()
1339                                       LDat->kind(), ReceivedKind, UnlockLoc);  in removeLock()
1342   LDat->handleUnlock(FSet, FactMan, Cp, UnlockLoc, FullyRemove, Handler,  in removeLock()