IvtGetDomainId

NTSTATUS __stdcall IvtGetDomainId(INT64 a1, UINT64 a2){
  __int64 v2; 
  __int64 v3; 
  unsigned int v4; 
  __int64 *v5; 
  __int64 v6; 
  __int64 v7; 

  v2 = *(_QWORD *)(a1 + 32);
  v3 = *(_QWORD *)(a1 + 184) & 0x1000000i64;
  v4 = a2;
  if( v3 )
    v5 = (__int64 *)(v2
                   + 8
                   * (2 * ((unsigned __int64)(unsigned int)a2 >> 8)
                    + ((unsigned __int8)((unsigned __int8)a2 >> 3) >= 0x10u)));
  else
    v5 = (__int64 *)(v2 + 16 * ((unsigned __int64)(unsigned int)a2 >> 8));
  v6 = *v5;
  if( v3 )
    v7 = *(_QWORD *)(32 * (v4 & 7 | (8i64 * ((v4 >> 3) & 0xF))) + v6 + 8);
  else
    v7 = *(_QWORD *)(v6 + 16i64 * (unsigned __int8)v4 + 8);
  return(unsigned __int16)((unsigned int)v7 >> 8);
}

Referenced by:

IvtAttachDeviceDomainInternal