// wdm.h

typedef struct _IOMMU_DEVICE_CREATION_CONFIGURATION_ACPI {
  UINT32 InputMappingBase;
  UINT32 MappingsCount;
} IOMMU_DEVICE_CREATION_CONFIGURATION_ACPI, *PIOMMU_DEVICE_CREATION_CONFIGURATION_ACPI;
View the official Windows Driver Kit DDI reference

NtDoc

No description available.

Edit description on GitHub

Windows Driver Kit DDI reference (ns-wdm-iommu_device_creation_configuration_acpi)

Description

IOMMU_DEVICE_CREATION_CONFIGURATION_ACPI provides the ACPI-specific configuration parameters of a IOMMU_DEVICE_CREATION_CONFIGURATION structure, which is provided for creation of an ACPI-type IOMMU_DMA_DEVICE.

Members

`InputMappingBase`

Provides the input mapping base for the device's desired stream.

`MappingsCount`

Provides the count of mappings beginning at the base.

Remarks

This is required for ACPI devices on ARM64 systems.

IOMMU_DEVICE_CREATION_CONFIGURATION_ACPI - NtDoc