UINT64 __stdcall HalpHvGetTscFrequency(){ UINT64 v0; if( HalpHvIsFrequencyAvailable() ) return __readmsr(0x40000022u); return v0; }