HalpGetProcessorBrandString

INT64 __fastcall HalpGetProcessorBrandString(UINT64 a1, INT64 a2, UINT64 *a3){
  unsigned int v5; 
  unsigned int v6; 
  unsigned int v7; 
  unsigned int v8; 
  unsigned int v9; 
  _DWORD *v11; 
  int v12[14]; 
  int a5; 
  v5 = a1;
  v6 = 0;
  v12[0] = 0;
  a5 = 0;
  HalpCpuID(0x80000000i64, v12, &a5, &a5, &a5);
  v7 = v12[0];
  v8 = -2147483646;
  if( v12[0] < 0x80000002 )
  {
    return(unsigned int)-1073741637;
  }
  else
  {
    if( v12[0] > 0x80000004 )
      v7 = -2147483644;
    v9 = 16 * (v7 + 0x7FFFFFFF) + 1;
    *(_DWORD *)a3 = v9;
    if( v5 >= v9 )
    {
      if( v7 >= 0x80000002 )
      {
        v11 = (_DWORD *)(a2 + 8);
        do
        {
          HalpCpuID(v8, v11 - 2, v11 - 1, v11, v11 + 1);
          v11 += 4;
          ++v8;
        }
        while( v8 <= v7 );
      }
      *(_BYTE *)(16 * (v7 + 0x7FFFFFFF) + a2) = 0;
    }
    else
    {
      return(unsigned int)-1073741820;
    }
  }
  return v6;
}

Referenced by: