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

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dstatistics.h40 PSC_GC_FULLGC, // Number of full garbage collections enumerator in enum:__anon9
H A Dgc.cpp106 globalStats.incCount(PSC_GC_FULLGC);
H A Dstatistics.cpp265 addCounter(PSC_GC_FULLGC, POLY_STATS_ID_GC_FULLGC, "FullGCCount");
/seL4-l4v-master/HOL4/polyml/PolyPerf/
H A DPolyPerf.cpp41 PSC_GC_FULLGC, // Number of full garbage collections enumerator in enum:__anon4
352 stats->psCounters[PSC_GC_FULLGC] = cValue; break;

Completed in 105 milliseconds