Searched refs:FactMan (Results 1 – 1 of 1) sorted by relevance
200 if (!FactMan[FID].negative()) in isEmpty()882 FSet.removeLock(FactMan, Cp); in handleUnlock()968 FSet.removeLock(FactMan, Cp); in handleUnlock()980 FSet.removeLock(FactMan, !Cp); in lock()981 FSet.addLock(FactMan, in lock()988 if (FSet.findLock(FactMan, Cp)) { in unlock()989 FSet.removeLock(FactMan, Cp); in unlock()1015 FactManager FactMan; member in __anoneb5110e70a11::ThreadSafetyAnalyzer1270 FSet.removeLock(FactMan, NegC); in addLock()1619 LDat = FSet.findLock(FactMan, Cp); in warnIfMutexNotHeld()[all …]