UINT64 __stdcall XmRdtscOp(INT64 a1){
UINT64 PerformanceCounter;
UINT64 result;
PerformanceCounter = KeQueryPerformanceCounter(0i64);
*(_DWORD *)(a1 + 24) = PerformanceCounter;
result = HIDWORD(PerformanceCounter);
*(_DWORD *)(a1 + 32) = result;
return result;
}