Searched defs:wordsRequiredToAllocate (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dgc.cpp101 static bool doGC(const POLYUNSIGNED wordsRequiredToAllocate) argument
385 bool QuickGC(TaskData *taskData, POLYUNSIGNED wordsRequiredToAllocate) argument
H A Dquick_gc.cpp497 bool RunQuickGC(const POLYUNSIGNED wordsRequiredToAllocate) argument

Completed in 89 milliseconds