UINT64 __stdcall HvlGetReferenceTime(){ UINT64 v0; UINT64 RegisterValue; RegisterValue = 0i64; HvlpGetRegister64(HvRegisterTimeRefCount, &RegisterValue, v0); return RegisterValue; }