VOID __stdcall HalpHvGetTscFrequency(INT64 a1, INT64 a2, INT64 a3, INT64 a4, INT64 a5, INT64 a6, INT64 a7, CHAR a8){ if( HalpHvIsFrequencyAvailable() ) __readmsr(0x40000022u); }