HalpCpuID

INT32 __fastcall HalpCpuID(INT64 a1, INT32 *a2, _DWORD *a3, _DWORD *a4, _DWORD *a5){
  INT32 result; 
  __int64 v6; 
  v6 = __cpuid(a1, 0);
  result = EAX(v6);
  *a2 = result;
  *a3 = EBX(v6);
  *a4 = ECX(v6);
  *a5 = EDX(v6);
  return result;
}

Referenced by:

HalpGetProcessorBrandString
HalpMcaSetFeatureFlags