Searched refs:topPointer (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dexporter.cpp367 ASSERT(space->topPointer <= space->top && space->topPointer >= space->bottom);
368 size_t spaceLeft = space->top - space->topPointer;
371 newObj = (PolyObject*)(space->topPointer + 1);
373 space->topPointer += words + 1;
375 // Maintain the odd-word alignment of topPointer
376 if ((words & 1) == 0 && space->topPointer < space->top)
378 *space->writeAble(space->topPointer) = PolyWord::FromUnsigned(0);
379 space->topPointer++;
411 newObj = (PolyObject*)(space->topPointer
[all...]
H A Dmemmgr.cpp303 space->topPointer = space->top = space->bottom + words;
348 space->topPointer = space->top = space->bottom + actualSize/sizeof(PolyWord);
448 space->topPointer = space->bottom;
452 space->writeAble(space->topPointer)[0] = PolyWord::FromUnsigned(0);
453 space->topPointer = space->bottom + 1;
599 if (space->topPointer != space->top)
600 FillUnusedSpace(space->writeAble(space->topPointer), space->top - space->topPointer);
H A Dmemmgr.h121 byteOnly(false), topPointer(0) {}
131 PolyWord *topPointer; member in class:PermanentMemSpace
H A Dsavestate.cpp541 entry->mtLength = (space->topPointer-space->bottom)*sizeof(PolyWord);
562 entry->mtLength = (space->topPointer-space->bottom)*sizeof(PolyWord);
1289 cwbr.ScanAddressesInRegion(newSpace->bottom, newSpace->topPointer);

Completed in 51 milliseconds