Searched refs:CapExprSet (Results 1 – 1 of 1) sorted by relevance
1494 CapExprSet ExclusiveLocksToAdd; in getEdgeLockset()1495 CapExprSet SharedLocksToAdd; in getEdgeLockset()1800 CapExprSet ScopedReqsAndExcludes; in handleCall()1841 CapExprSet AssertLocks; in handleCall()1852 CapExprSet AssertLocks; in handleCall()1863 CapExprSet AssertLocks; in handleCall()2317 CapExprSet ExclusiveLocksAcquired; in runAnalysis()2318 CapExprSet SharedLocksAcquired; in runAnalysis()2319 CapExprSet LocksReleased; in runAnalysis()2328 CapExprSet ExclusiveLocksToAdd; in runAnalysis()[all …]