Searched refs:spaceTypeString (Results 1 - 6 of 6) sorted by relevance
/seL4-l4v-master/HOL4/polyml/libpolyml/ |
H A D | memmgr.h | 93 virtual const char *spaceTypeString() { return isMutable ? "mutable" : "immutable"; } function in class:MemSpace 199 virtual const char *spaceTypeString() function in class:LocalMemSpace 200 { return allocationSpace ? "allocation" : MemSpace::spaceTypeString(); }
|
H A D | gc.cpp | 271 Log("GC: %s space %p %" PRI_SIZET " free in %" PRI_SIZET " words %2.1f%% full\n", lSpace->spaceTypeString(), 303 Log("GC: %s space %p %" PRI_SIZET " free in %" PRI_SIZET " words %2.1f%% full\n", space->spaceTypeString(),
|
H A D | gc_copy_phase.cpp | 253 Log("GC: Copy: copying area %p (thread %p) %s \n", src, id, src->spaceTypeString());
|
H A D | gc_mark_phase.cpp | 875 lSpace->spaceTypeString(), lSpace,
|
H A D | quick_gc.cpp | 690 Log("GC: %s space %p %" PRI_SIZET " free in %" PRI_SIZET " words %2.1f%% full\n", lSpace->spaceTypeString(),
|
H A D | memmgr.cpp | 393 Log("MMGR: Deleted local %s space %p at %p size %zu\n", sp->spaceTypeString(), sp, sp->bottom, sp->spaceSize());
|
Completed in 44 milliseconds