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

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dstatistics.h61 PST_NONGC_STIME, enumerator in enum:__anon10
H A Dstatistics.cpp280 addTime(PST_NONGC_STIME, POLY_STATS_ID_NONGC_STIME, "NonGCSystemTime");
664 setTimeValue(PST_NONGC_STIME, (unsigned long)(li.QuadPart / 10000000), (unsigned long)((li.QuadPart / 10) % 1000000));
678 setTimeValue(PST_NONGC_STIME, usage.ru_stime.tv_sec, usage.ru_stime.tv_usec);
/seL4-l4v-master/HOL4/polyml/PolyPerf/
H A DPolyPerf.cpp60 PST_NONGC_STIME, enumerator in enum:__anon6
414 stats->psTimers[PST_NONGC_STIME] = ft; break;

Completed in 90 milliseconds