IOMMUREG_READ
IOMMUREG_READ(is, iommu_cr),
IOMMUREG_READ(is, iommu_tsb));
cr = IOMMUREG_READ(is, iommu_cr);