Searched defs:spaceSize (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dheapsizing.cpp218 POLYUNSIGNED spaceSize = gMem.DefaultSpaceSize(); local
H A Dmemmgr.cpp560 POLYUNSIGNED spaceSize = defaultSpaceSize; local
577 CodeSpace(PolyWord *start, POLYUNSIGNED spaceSize) argument
[all...]
H A Dmemmgr.h83 POLYUNSIGNED spaceSize(void)const { return top-bottom; } // No of words function in class:MemSpace
H A Dprocesses.cpp1048 POLYUNSIGNED spaceSize = requestSpace; local

Completed in 105 milliseconds