Searched refs:defaultSize (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dpexport.cpp312 POLYUNSIGNED defaultSize; member in class:SpaceAlloc
323 defaultSize = def;
361 POLYUNSIGNED size = defaultSize;
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DModel.sml978 val defaultSize = 8; value
988 val default = {size = defaultSize, fixed = defaultFixed};
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DModel.sml978 val defaultSize = 8; value
988 val default = {size = defaultSize, fixed = defaultFixed};

Completed in 54 milliseconds