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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dgc.cpp161 POLYUNSIGNED bitCount = 0, markCount = 0; local
166 markCount += lSpace->i_marked + lSpace->m_marked;
170 if (markCount == bitCount)
175 Log("GC: Count error mark count %lu, bitCount %lu\n", markCount, bitCount);
178 ASSERT(markCount == bitCount);

Completed in 91 milliseconds