Searched defs:ExclusiveLocksToAdd (Results 1 – 1 of 1) sorted by relevance
1229 CapExprSet ExclusiveLocksToAdd; in getEdgeLockset() local1504 CapExprSet ExclusiveLocksToAdd, SharedLocksToAdd; in handleCall() local1945 CapExprSet ExclusiveLocksToAdd; in runAnalysis() local