HalpGetProcessorBrandString

NTSTATUS __stdcall HalpGetProcessorBrandString(UINT64 a1, INT64 a2, UINT64 *a3){
  unsigned int v5; 
  NTSTATUS v6; 
  unsigned int v7; 
  unsigned int v8; 
  unsigned int v9; 
  _DWORD *v11; 
  int v12[14]; 
  int v13; 

  v5 = a1;
  v6 = 0;
  v12[0] = 0;
  v13 = 0;
  HalpCpuID(0x80000000, v12, &v13, &v13, &v13);
  v7 = v12[0];
  v8 = -2147483646;
  if( v12[0] < 0x80000002 )
    return -1073741637;
  if( v12[0] > 0x80000004 )
    v7 = -2147483644;
  v9 = 16 * (v7 + 0x7FFFFFFF) + 1;
  *(_DWORD *)a3 = v9;
  if( v5 < v9 )
    return -1073741820;
  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;
  return v6;
}

Referenced by: