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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dgc.h35 extern bool QuickGC(TaskData *taskData, POLYUNSIGNED words_needed);
H A Dpoly_specific.cpp230 if (! QuickGC(taskData, args->WordP()->Length()))
315 if (!QuickGC(taskData, pushedArg->WordP()->Length()))
H A Dgc.cpp385 bool QuickGC(TaskData *taskData, POLYUNSIGNED wordsRequiredToAllocate) function
H A Dprocesses.cpp1080 if (! QuickGC(taskData, words))

Completed in 177 milliseconds