IvtGetBlockedDomain

NTSTATUS __stdcall IvtGetBlockedDomain(INT64 a1, INT64 *a2, UINT64 *a3){
  __int64 v5; 
  __int64 v6; 
  NTSTATUS result; 
  unsigned __int64 v8; 

  if( a2 && (HalpIvtFindReservedDomain(), v5) )
  {
    v6 = *(_QWORD *)(v5 + 8);
    result = *(_DWORD *)v5;
    v8 = *(_QWORD *)(v6 + 16);
  }
  else
  {
    v8 = *(&CmpDummyThreadEvent + 444);
    result = *(_DWORD *)(a1 + 220);
  }
  *a3 = v8 >> 12;
  return result;
}

Referenced by:

IvtInitializeIommu
IvtUpdateContextEntry
IvtUpdateExtendedContextEntry