Searched refs:freeSpace (Results 1 - 7 of 7) sorted by relevance

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dquick_gc.cpp256 if (lSpace->freeSpace() > n /* At least n+1*/)
265 (lSpace == 0 || sp->freeSpace() > lSpace->freeSpace()))
269 if (lSpace != 0 && lSpace->freeSpace() > n)
286 if (lSpace->freeSpace() > n /* At least n+1*/)
294 ! lSpace->allocationSpace && lSpace->freeSpace() > n /* At least n+1*/)
316 ! lSpace->allocationSpace && lSpace->freeSpace() > n /* At least n+1*/)
679 free = lSpace->freeSpace();
687 else free = lSpace->freeSpace();
691 lSpace, lSpace->freeSpace(), lSpac
[all...]
H A Dgc.cpp272 lSpace, lSpace->freeSpace(), lSpace->spaceSize(),
286 uintptr_t free = space->freeSpace();
291 if (space->allocatedSpace() > space->freeSpace()) // It's more than half full
304 space, space->freeSpace(), space->spaceSize(),
H A Dstatistics.h110 void updatePeriodicStats(size_t freeSpace, unsigned threadsInML);
H A Dgc_mark_phase.cpp798 PolyObject *freeSpace = (PolyObject*)(lastFree + 1); local
799 space->writeAble(freeSpace)->SetLengthWord(lastFreeSpace - 1, F_BYTE_OBJ);
814 PolyObject *freeSpace = (PolyObject*)(lastFree+1); local
815 space->writeAble(freeSpace)->SetLengthWord(lastFreeSpace-1, F_BYTE_OBJ);
H A Dmemmgr.cpp245 globalStats.incSize(PSS_ALLOCATION_FREE, result->freeSpace()*sizeof(PolyWord));
678 uintptr_t available = space->freeSpace();
726 uintptr_t available = space->freeSpace();
966 uintptr_t freeSpace = 0; local
972 freeSpace += space->freeSpace();
974 return freeSpace;
H A Dmemmgr.h189 uintptr_t freeSpace(void)const // Words free function in class:LocalMemSpace
H A Dprocesses.cpp1486 uintptr_t freeSpace = 0; local
1496 freeSpace += ptr-limit;
1502 freeSpace += gMem.GetFreeAllocSpace();
1503 globalStats.updatePeriodicStats(freeSpace, threadsInML);

Completed in 64 milliseconds