Searched refs:PST_NONGC_RTIME (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dstatistics.h64 PST_NONGC_RTIME, enumerator in enum:__anon10
H A Dstatistics.cpp283 addTime(PST_NONGC_RTIME, POLY_STATS_ID_NONGC_RTIME, "NonGCRealTime");
667 setTimeValue(PST_NONGC_RTIME, (unsigned long)(li.QuadPart / 10000000), (unsigned long)((li.QuadPart / 10) % 1000000));
679 setTimeValue(PST_NONGC_RTIME, tv.tv_sec, tv.tv_usec);
/seL4-l4v-master/HOL4/polyml/PolyPerf/
H A DPolyPerf.cpp63 PST_NONGC_RTIME, enumerator in enum:__anon6
420 stats->psTimers[PST_NONGC_RTIME] = ft; break;

Completed in 32 milliseconds