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

/seL4-l4v-master/HOL4/polyml/PolyPerf/
H A DPolyPerf.cpp708 DWORD statSize = (sizeof(statistics) + 7) / 8 * 8; local
710 (statistics*)allocBuffSpace(lppData, lpcbTotalBytes, dwBytesAvailable, statSize);
713 pStats->header.ByteLength = sizeof(PERF_COUNTER_BLOCK)+statSize;

Completed in 68 milliseconds