HalpIsHvPresent

INT8 __stdcall HalpIsHvPresent(){
  INT8 v0; 

  v0 = byte_140C0F32F;
  if( byte_140C0F32F == -1 )
  {
    v0 = 0;
    if( ECX(__cpuid(1, 0)) < 0 )
      v0 = EAX(__cpuid(1073741825, 0)) != 1986945624;
    byte_140C0F32F = v0;
  }
  return v0;
}

Referenced by:

HalDmaAllocateCrashDumpRegistersEx
HalSocRequestConfigurationData
HalpArtAvailable
HalpIsMicrosoftCompatibleHvLoaded
HalpLbrInitialize
HalpMiscGetParameters
HalpNmiReboot
HalpTimerFindIdealPerformanceCounterSource