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

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dgc_progress.h29 void gcProgressSetPercent(unsigned pc);
H A Dgc_progress.cpp71 void gcProgressSetPercent(unsigned pc) function
H A Dgc.cpp203 gcProgressSetPercent(25);
208 gcProgressSetPercent(50);
240 gcProgressSetPercent(75);
H A Dgc_share_phase.cpp873 gcProgressSetPercent((unsigned)((double)(totalVisited - postCount) / (double)totalVisited * 100.0));

Completed in 31 milliseconds