Searched refs:CapExprSet (Results 1 – 1 of 1) sorted by relevance
1480 CapExprSet ExclusiveLocksToAdd; in getEdgeLockset()1481 CapExprSet SharedLocksToAdd; in getEdgeLockset()1769 CapExprSet ScopedReqsAndExcludes; in handleCall()1799 CapExprSet AssertLocks; in handleCall()1810 CapExprSet AssertLocks; in handleCall()1821 CapExprSet AssertLocks; in handleCall()2279 CapExprSet ExclusiveLocksAcquired; in runAnalysis()2280 CapExprSet SharedLocksAcquired; in runAnalysis()2281 CapExprSet LocksReleased; in runAnalysis()2290 CapExprSet ExclusiveLocksToAdd; in runAnalysis()[all …]