UINT64 __stdcall HalpTscAdvSynchSkewCounter(INT64 a1){ UINT64 result; HalpProcessorFence(); result = a1 + __rdtsc(); __writemsr(0x10u, result); return result; }