105   FactEntry(const CapabilityExpr &CE, LockKind LK, SourceLocation Loc,  in FactEntry()  argument
107       : CapabilityExpr(CE), LKind(LK), AcquireLoc(Loc), Asserted(Asrt),  in FactEntry()
129   bool isAtLeast(LockKind LK) {  in isAtLeast()  argument
130     return  (LKind == LK_Exclusive) || (LK == LK_Shared);  in isAtLeast()
818   LockableFactEntry(const CapabilityExpr &CE, LockKind LK, SourceLocation Loc,  in LockableFactEntry()  argument
820       : FactEntry(CE, LK, Loc, Asrt), Managed(Mng) {}  in LockableFactEntry()
1505   LockKind LK = getLockKindFromAccessKind(AK);  in warnIfMutexNotHeld()  local
1548                                            LK, Loc, &PartMatchName);  in warnIfMutexNotHeld()
1552                                            LK, Loc);  in warnIfMutexNotHeld()
1557   if (NoError && LDat && !LDat->isAtLeast(LK)) {  in warnIfMutexNotHeld()
1559                                          LK, Loc);  in warnIfMutexNotHeld()