Symbol: AMD_IOMMU_REG_SET64_IMPL
usr/src/uts/i86pc/io/amd_iommu/amd_iommu_impl.c
1930
AMD_IOMMU_REG_SET64_IMPL(s64p, bits, value);
usr/src/uts/i86pc/io/amd_iommu/amd_iommu_impl.h
309
AMD_IOMMU_REG_SET64_IMPL(rp, b, v))