Symbol: AMD_IOMMU_DEVTBL_DOMAINID
usr/src/uts/i86pc/io/amd_iommu/amd_iommu_page_tables.c
348
AMD_IOMMU_DEVTBL_DOMAINID));
usr/src/uts/i86pc/io/amd_iommu/amd_iommu_page_tables.c
364
AMD_IOMMU_REG_SET64(&(entry[1]), AMD_IOMMU_DEVTBL_DOMAINID,
usr/src/uts/i86pc/io/amd_iommu/amd_iommu_page_tables.c
599
AMD_IOMMU_DEVTBL_DOMAINID));