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

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dmpoly.cpp217 POLYUNSIGNED minsize=0, maxsize=0, initsize=0; local
277 initsize = parseSize(p, argTable[j].argName);
368 if (maxsize != 0 && maxsize < initsize)
371 if (initsize != 0 && initsize < minsize)
387 gHeapSizeParameters.SetHeapParameters(minsize, maxsize, initsize, gcpercent);

Completed in 27 milliseconds