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

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Drun_time.h82 extern void CheckAndGrowStack(TaskData *mdTaskData, uintptr_t minSize);
H A Drun_time.cpp297 void CheckAndGrowStack(TaskData *taskData, uintptr_t minSize) argument
306 if (old_len >= minSize) return; /* Ok with present size. */
310 for (new_len = old_len; new_len < minSize; new_len *= 2);

Completed in 91 milliseconds