// wdm.h

typedef enum _IOMMU_DEVICE_CREATION_CONFIGURATION_TYPE {
  IommuDeviceCreationConfigTypeNone,
  IommuDeviceCreationConfigTypeAcpi,
  IommuDeviceCreationConfigTypeDeviceId,
  IommuDeviceCreationConfigTypePasid,
  IommuDeviceCreationConfigTypeMax
} IOMMU_DEVICE_CREATION_CONFIGURATION_TYPE, *PIOMMU_DEVICE_CREATION_CONFIGURATION_TYPE;
View the official Windows Driver Kit DDI reference

NtDoc

No description available.

Edit description on GitHub

Windows Driver Kit DDI reference (ne-wdm-iommu_device_creation_configuration_type)

Description

Describes the configuration types that are used upon IOMMU_DMA_DEVICE creation depending on the device type and the system.

Constants

`IommuDeviceCreationConfigTypeNone`

Default no type.

`IommuDeviceCreationConfigTypeAcpi`

Provides ACPI device specific parameters. This is currently used for ARM64 only. See IOMMU_DEVICE_CREATION_CONFIGURATION_ACPI.

`IommuDeviceCreationConfigTypeDeviceId`

Defines the IommuDeviceCreationConfigTypeDeviceId constant.

`IommuDeviceCreationConfigTypePasid`

Defines the IommuDeviceCreationConfigTypePasid constant.

`IommuDeviceCreationConfigTypeMax`

Invalid type.

IOMMU_DEVICE_CREATION_CONFIGURATION_TYPE - NtDoc