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

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dgc_check_weak_ref.cpp142 ScanAddressesInRegion(space->lowestWeak, space->highestWeak);
149 ScanAddressesInRegion(space->lowestWeak, space->highestWeak);
H A Dgc.cpp148 lSpace->highestWeak = lSpace->bottom;
161 pSpace->highestWeak = pSpace->bottom;
H A Dgc_mark_phase.cpp745 if (endObject > space->highestWeak) space->highestWeak = endObject;
H A Dmemmgr.h90 PolyWord *lowestWeak, *highestWeak; member in class:MemSpace
H A Dmemmgr.cpp112 fullGCRescanEnd = highestWeak = bottom;

Completed in 41 milliseconds