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

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dquick_gc.cpp572 lSpace->partialGCRootBase = lSpace->bottom;
573 else lSpace->partialGCRootBase = lSpace->lowerAllocPtr;
611 // in the space between partialGCRootBase (the old value of lowerAllocPtr) and
625 // partialGCRootBase, partialGCRootTop and partialGCTop are properly initialised
650 if (space->partialGCRootBase != space->partialGCRootTop)
651 gpTaskFarm->AddWorkOrRunNow(scanArea, space->partialGCRootBase, space->partialGCRootTop);
H A Dmemmgr.h174 PolyWord *partialGCRootBase; // Start of the root objects. member in class:LocalMemSpace
H A Dmemmgr.cpp111 lowerAllocPtr = partialGCScan = partialGCRootBase = partialGCRootTop =

Completed in 39 milliseconds