Searched refs:UnderCp (Results 1 – 1 of 1) sorted by relevance
876 CapabilityExpr UnderCp(UnderlyingMutex, false); in handleUnlock() local878 !UnderCp, LK_Exclusive, UnlockLoc); in handleUnlock()883 if (FSet.findLock(FactMan, UnderCp)) { in handleUnlock()884 FSet.removeLock(FactMan, UnderCp); in handleUnlock()890 if (!FSet.findLock(FactMan, UnderCp)) { in handleUnlock()891 Handler.handleUnmatchedUnlock(DiagKind, UnderCp.toString(), in handleUnlock()894 FSet.removeLock(FactMan, UnderCp); in handleUnlock()