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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dgc.cpp233 POLYUNSIGNED iUpdated = 0, mUpdated = 0, iMarked = 0, mMarked = 0; local
240 mUpdated += lSpace->updated;
244 ASSERT(iUpdated+mUpdated == iMarked+mMarked);

Completed in 85 milliseconds