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