// wdm.h
typedef enum _DOMAIN_CONFIGURATION_ARCH {
DomainConfigurationArm64,
DomainConfigurationX64,
DomainConfigurationInvalid
} DOMAIN_CONFIGURATION_ARCH, *PDOMAIN_CONFIGURATION_ARCH;
View the official Windows Driver Kit DDI referenceNo description available.
Defines values for type of system architecture specified in the _IOMMU_DOMAIN_CONFIGURE_ callback function.
DomainConfigurationArm64ARM64 architecture.
DomainConfigurationX64x64 architecture. Reserved for system use only.
DomainConfigurationInvalidThe architecture type is not valid.