HalpIsMicrosoftCompatibleHvLoaded

INT8 __stdcall HalpIsMicrosoftCompatibleHvLoaded(){
  INT8 v0; 

  v0 = 0;
  if( HalpIsHvPresent() )
    return EAX(__cpuid(1073741825, 0)) == 824407624;
  return v0;
}

Referenced by:

HalMcFinishMicrocode
HalSocRequestApi
HalSocRequestConfigurationData
HalpArtAvailable
HalpCmcStartPolling
HalpHvIsFrequencyAvailable
HalpHvWatchdogDiscover
HalpInitializeProfiling
HalpInterruptGetIrtInfo
HalpIsHvIptSupported
HalpIsHvUsedForReboot
HalpIsPartitionCpuManager
HalpLoadMicrocode
HalpMiscGetParameters