UINT64 __stdcall HalpHvGetApicFrequency(){ UINT64 v0; if( HalpHvIsFrequencyAvailable() ) return __readmsr(0x40000023u); return v0; }