HalpIommuDmaRemappingCapable

BOOL __stdcall HalpIommuDmaRemappingCapable(PFN_WDFIORESOURCELISTAPPENDDESCRIPTOR *a1, UINT64 *a2){
  unsigned int AcpiDeviceMapCount; 
  ULONG SortKey[4]; 
  __int64 v7; 

  v7 = 0i64;
  *(_OWORD *)SortKey = 0i64;
  if( a2 )
    *(_DWORD *)a2 = 0;
  if( *(_DWORD *)a1 != 2 || (int)HalpIommuQueryAcpiDeviceMapping((PKDEVICE_QUEUE)a1, (ULONG)SortKey) < 0 )
    return 1;
  AcpiDeviceMapCount = HalpIommuGetAcpiDeviceMapCount((INT64)a1);
  if( a2 )
    *(_DWORD *)a2 = AcpiDeviceMapCount;
  return AcpiDeviceMapCount <= 1;
}

Referenced by: