dmar_readl
value = dmar_readl(iommu->reg + iommu_regs_32[i].offset);
sts = dmar_readl(iommu->reg + DMAR_GSTS_REG);
sts = dmar_readl(iommu->reg + DMAR_GSTS_REG);
sts = dmar_readl(iommu->reg + DMAR_GSTS_REG);
unsigned int head = dmar_readl(iommu->reg + DMAR_IQH_REG);
if (!dmar_readl(iommu->reg + DMAR_PERFINTRSTS_REG))
u32 off = dmar_readl(iommu->reg + offset);
cap = dmar_readl(iommu_pmu->cfg_reg +
cap = dmar_readl(iommu_pmu->cfg_reg + i * IOMMU_PMU_CFG_OFFSET +