INT32 __fastcall HalpHvCpuid(INT64 a1, INT32 *a2){ INT32 result; __int64 v3; v3 = __cpuid(a1, 0); result = EAX(v3); *a2 = result; a2[1] = EBX(v3); a2[2] = ECX(v3); a2[3] = EDX(v3); return result; }