HviGetEnlightenmentInformation

__int32 __fastcall HviGetEnlightenmentInformation(__int32 *a1){
  __int32 result; 
  __int64 v3; 
  result = HviIsHypervisorMicrosoftCompatible();
  if( (_BYTE)result )
  {
    v3 = __cpuid(1073741828, 0);
    result = EAX(v3);
    *a1 = result;
    a1[1] = EBX(v3);
    a1[2] = ECX(v3);
    a1[3] = EDX(v3);
  }
  else
  {
    *(_QWORD *)a1 = 0i64;
    *((_QWORD *)a1 + 1) = 0i64;
  }
  return result;
}

Referenced by: