Searched refs:panicModeLastRemovedShared (Results 1 – 3 of 3) sorted by relevance
205 limit = panicModeLastRemovedShared; in reduceDB()206 panicModeLastRemovedShared = 0; in reduceDB()216 panicModeLastRemovedShared++; in reduceDB()
155 , panicModeLastRemoved(0), panicModeLastRemovedShared(0) in Solver()238 , panicModeLastRemoved(s.panicModeLastRemoved), panicModeLastRemovedShared(s.panicModeLastRemovedSh… in Solver()
247 uint32_t panicModeLastRemoved, panicModeLastRemovedShared; variable