Searched refs:UnderCp (Results 1 – 1 of 1) sorted by relevance
878 CapabilityExpr UnderCp(UnderlyingMutex, false); in handleUnlock() local880 !UnderCp, LK_Exclusive, UnlockLoc); in handleUnlock()885 if (FSet.findLock(FactMan, UnderCp)) { in handleUnlock()886 FSet.removeLock(FactMan, UnderCp); in handleUnlock()892 if (!FSet.findLock(FactMan, UnderCp)) { in handleUnlock()893 Handler.handleUnmatchedUnlock(DiagKind, UnderCp.toString(), in handleUnlock()896 FSet.removeLock(FactMan, UnderCp); in handleUnlock()