Symbol: AMD_IOMMU_DEVTABBASE
usr/src/uts/i86pc/io/amd_iommu/amd_iommu_impl.c
423
AMD_IOMMU_DEVTABBASE, ((uint64_t)(uintptr_t)addr) >> 12);
usr/src/uts/i86pc/io/amd_iommu/amd_iommu_impl.c
515
AMD_IOMMU_DEVTABBASE, 0);