Searched refs:mMarked (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dgc.cpp199 POLYUNSIGNED iMarked = 0, mMarked = 0; local
205 mMarked += lSpace->m_marked;
217 while (mMarked > mSpace - mSpace/10 && gHeapSizeParameters.AddSpaceBeforeCopyPhase(true) != 0)
233 POLYUNSIGNED iUpdated = 0, mUpdated = 0, iMarked = 0, mMarked = 0; local
238 mMarked += lSpace->m_marked;
244 ASSERT(iUpdated+mUpdated == iMarked+mMarked);

Completed in 23 milliseconds