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

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Drun_time.cpp311 uintptr_t limitSize = getPolyUnsigned(taskData, taskData->threadObject->mlStackSize); local
314 if ((limitSize != 0 && old_len >= limitSize) || ! gMem.GrowOrShrinkStack(taskData, new_len))

Completed in 82 milliseconds