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

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dmemmgr.cpp520 if (! space->headerMap.Create(space->spaceSize()))
554 space->headerMap.SetBit(ptr-space->bottom);
784 if (!allocSpace->headerMap.Create(allocSpace->spaceSize()))
860 space->headerMap.SetBit(pt-space->bottom); // Set the "header" bit
1301 profMap = &cSpace->headerMap;
H A Dmemmgr.h226 Bitmap headerMap; // Map to find the headers during GC or profiling. member in class:CodeSpace
H A Dgc_mark_phase.cpp805 space->headerMap.ClearBit(pt-space->bottom); // Remove the "header" bit

Completed in 38 milliseconds