Searched refs:CapExprSet (Results 1 – 1 of 1) sorted by relevance
1535 CapExprSet ExclusiveLocksToAdd; in getEdgeLockset()1536 CapExprSet SharedLocksToAdd; in getEdgeLockset()1822 CapExprSet ScopedReqsAndExcludes; in handleCall()1855 CapExprSet AssertLocks; in handleCall()1868 CapExprSet AssertLocks; in handleCall()1881 CapExprSet AssertLocks; in handleCall()2334 CapExprSet ExclusiveLocksAcquired; in runAnalysis()2335 CapExprSet SharedLocksAcquired; in runAnalysis()2336 CapExprSet LocksReleased; in runAnalysis()2345 CapExprSet ExclusiveLocksToAdd; in runAnalysis()[all …]