HalpIsHvPresent

INT64 __stdcall HalpIsHvPresent(){
  char v0; 
  INT64 result; 
  __int64 v2; 
  v0 = byte_140C0F32F;
  if( byte_140C0F32F == -1 )
  {
    v0 = 0;
    v2 = __cpuid(1, 0);
    result = (unsigned int)EAX(v2);
    if( ECX(v2) < 0 )
    {
      v0 = 0;
      result = (unsigned int)EAX(__cpuid(1073741825, 0));
      if( (_DWORD)result != 1986945624 )
        v0 = 1;
    }
    byte_140C0F32F = v0;
  }
  LOBYTE(result) = v0;
  return result;
}

Referenced by:

HalDmaAllocateCrashDumpRegistersEx
HalSocRequestConfigurationData
HalpArtAvailable
HalpIsMicrosoftCompatibleHvLoaded
HalpLbrInitialize
HalpMiscGetParameters
HalpNmiReboot
HalpTimerFindIdealPerformanceCounterSource