INT64 __stdcall HalpHvCounterQueryCounter(){ if( HalpHvTimerApi ) return HalpHvTimerApi(0i64); else return __readmsr(0x40000020u); }