Searched refs:CheckAndGrowStack (Results 1 - 4 of 4) 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) function
H A Dx86_dep.cpp519 CheckAndGrowStack(this, min_size);
H A Dinterpret.cpp606 CheckAndGrowStack(this, min_size);

Completed in 103 milliseconds