Searched defs:POLY_STATS_ID_NONGC_RTIME (Results 1 - 1 of 1) sorted by relevance
/seL4-l4v-master/HOL4/polyml/ | ||
H A D | polystatistics.h | 75 #define POLY_STATS_ID_NONGC_RTIME 26 // Real time apart from GC macro |
Completed in 27 milliseconds