amd_iommu_reg_get64_workaround
((amd_iommu_64bit_bug) ? amd_iommu_reg_get64_workaround(rp, b) : \
extern uint64_t amd_iommu_reg_get64_workaround(uint64_t *regp, uint32_t bits);