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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dmemmgr.cpp384 PermanentMemSpace *pSpace = *i; local
385 if (pSpace->hierarchy < hierarchy)
392 RemoveTree(pSpace);
394 if (pSpace->isCode)
396 CodeSpace *space = new CodeSpace(pSpace->bottom, pSpace->spaceSize());
400 Log("MMGR: Unable to create header map for state space %p\n", pSpace);
406 Log("MMGR: Unable to convert saved state space %p into code space\n", pSpace);
410 Log("MMGR: Converted saved state space %p into code space %p\n", pSpace, space);
430 space->top = pSpace
[all...]
H A Dgc.cpp153 PermanentMemSpace *pSpace = *i; local
154 pSpace->highestWeak = pSpace->bottom;
155 pSpace->lowestWeak = pSpace->top;

Completed in 87 milliseconds