Searched refs:CapExprSet (Results 1 – 1 of 1) sorted by relevance
1518 CapExprSet ExclusiveLocksToAdd; in getEdgeLockset()1519 CapExprSet SharedLocksToAdd; in getEdgeLockset()1804 CapExprSet ExclusiveLocksToAdd, SharedLocksToAdd; in handleCall()1839 CapExprSet AssertLocks; in handleCall()1851 CapExprSet AssertLocks; in handleCall()1863 CapExprSet AssertLocks; in handleCall()2300 CapExprSet ExclusiveLocksAcquired; in runAnalysis()2301 CapExprSet SharedLocksAcquired; in runAnalysis()2302 CapExprSet LocksReleased; in runAnalysis()2311 CapExprSet ExclusiveLocksToAdd; in runAnalysis()[all …]