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

/seL4-l4v-master/HOL4/polyml/PolyPerf/
H A DPolyPerf.cpp130 #define SIZEOF_TIME (sizeof(FILETIME)) macro
665 pTimes[k].CounterSize = SIZEOF_TIME;
666 pTimes[k].CounterOffset = offsetof(statistics, psTimers)+k*SIZEOF_TIME;

Completed in 40 milliseconds