Lines Matching defs:newLock
792 FactID newLock(const SExpr& M, const LockData& L) {828 FactID F = FM.newLock(M, L);