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

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dmemmgr.h399 uintptr_t CurrentHeapSize() { return currentHeapSize; }
423 uintptr_t currentAllocSpace, currentHeapSize; member in class:MemMgr
H A Dmemmgr.cpp135 currentAllocSpace = currentHeapSize = 0;
218 currentHeapSize += space->spaceSize();
219 globalStats.setSize(PSS_TOTAL_HEAP, currentHeapSize * sizeof(PolyWord));
394 currentHeapSize -= sp->spaceSize();
395 globalStats.setSize(PSS_TOTAL_HEAP, currentHeapSize * sizeof(PolyWord));
582 currentHeapSize += space->spaceSize();
583 globalStats.setSize(PSS_TOTAL_HEAP, currentHeapSize * sizeof(PolyWord));

Completed in 33 milliseconds