Symbol: AMD_IOMMU_REG_GET64_IMPL
usr/src/uts/i86pc/io/amd_iommu/amd_iommu_impl.c
1917
return (AMD_IOMMU_REG_GET64_IMPL(s64p, bits));
usr/src/uts/i86pc/io/amd_iommu/amd_iommu_impl.h
293
AMD_IOMMU_REG_GET64_IMPL(rp, b))