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

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dgc_progress.h28 extern void gcProgressBeginOtherGC();
H A Dgc_progress.cpp65 void gcProgressBeginOtherGC() function
H A Dsharedata.cpp1066 gcProgressBeginOtherGC(); // Set the phase to "other" now the GC is complete.
H A Dprocesses.cpp1430 gcProgressBeginOtherGC(); // The default unless we're doing a GC.

Completed in 41 milliseconds