Symbol: amd_iommu_reg_get64_workaround
usr/src/uts/i86pc/io/amd_iommu/amd_iommu_impl.h
292
((amd_iommu_64bit_bug) ? amd_iommu_reg_get64_workaround(rp, b) : \
usr/src/uts/i86pc/io/amd_iommu/amd_iommu_impl.h
475
extern uint64_t amd_iommu_reg_get64_workaround(uint64_t *regp, uint32_t bits);