Searched refs:freeSpace (Results 1 - 7 of 7) sorted by relevance
/seL4-l4v-master/HOL4/polyml/libpolyml/ |
H A D | quick_gc.cpp | 256 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 D | gc.cpp | 272 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 D | statistics.h | 110 void updatePeriodicStats(size_t freeSpace, unsigned threadsInML);
|
H A D | gc_mark_phase.cpp | 798 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 D | memmgr.cpp | 245 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 D | memmgr.h | 189 uintptr_t freeSpace(void)const // Words free function in class:LocalMemSpace
|
H A D | processes.cpp | 1486 uintptr_t freeSpace = 0; local 1496 freeSpace += ptr-limit; 1502 freeSpace += gMem.GetFreeAllocSpace(); 1503 globalStats.updatePeriodicStats(freeSpace, threadsInML);
|
Completed in 64 milliseconds