INT32 __fastcall HviGetHypervisorInterface(INT32 *a1){
INT32 result;
__int64 v3;
result = HviIsAnyHypervisorPresent();
if( (_BYTE)result )
{
v3 = __cpuid(1073741825, 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;
}