HalpIsMicrosoftCompatibleHvLoaded

BOOL __stdcall HalpIsMicrosoftCompatibleHvLoaded(){
  bool v0; 
  BOOL result; 
  v0 = 0;
  result = HalpIsHvPresent();
  if( result )
  {
    result = EAX(__cpuid(1073741825, 0));
    v0 = result == 824407624;
  }
  LOBYTE(result) = v0;
  return result;
}

Referenced by:

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