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

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dquick_gc.cpp264 if (sp->isMutable == isMutable && !sp->allocationSpace &&
294 ! lSpace->allocationSpace && lSpace->freeSpace() > n /* At least n+1*/)
316 ! lSpace->allocationSpace && lSpace->freeSpace() > n /* At least n+1*/)
348 if (space != 0 && space->allocationSpace && val.AsAddress() <= space->upperAllocPtr)
571 if (lSpace->isMutable && ! lSpace->allocationSpace)
576 if (! lSpace->allocationSpace)
671 if (lSpace->allocationSpace)
H A Dmemmgr.cpp101 allocationSpace = false;
121 allocationSpace = false;
242 result->allocationSpace = true;
254 ASSERT(space->allocationSpace);
255 space->allocationSpace = false;
272 if (space->allocationSpace)
278 while (i != lSpaces.end() && ! (*i)->allocationSpace) i++;
396 if (sp->allocationSpace) currentAllocSpace -= sp->spaceSize();
676 if (space->allocationSpace)
949 if (space->allocationSpace
[all...]
H A Dgc.cpp221 if (! lSpace->allocationSpace)
289 if (space->allocationSpace)
H A Dmemmgr.h180 bool allocationSpace; // True if this is (mutable) space for initial allocation member in class:LocalMemSpace
200 { return allocationSpace ? "allocation" : MemSpace::spaceTypeString(); }
H A Dgc_copy_phase.cpp213 if (lSpace->isMutable == isMutable && !lSpace->allocationSpace && lSpace->spaceOwner == 0)
H A Dsharedata.cpp419 if (space->spaceType != ST_LOCAL || ! ((LocalMemSpace*)space)->allocationSpace)

Completed in 46 milliseconds