Searched refs:newLock (Results 1 – 1 of 1) sorted by relevance
792 FactID newLock(const SExpr& M, const LockData& L) { in newLock() function in __anon48488dd70111::FactManager828 FactID F = FM.newLock(M, L); in addLock()