DMAR_RTADDR_REG
if (readq(iommu->reg + DMAR_RTADDR_REG) & DMA_RTADDR_SMT) {
if (readq(iommu->reg + DMAR_RTADDR_REG) & DMA_RTADDR_SMT)
rtaddr_reg = readq(iommu->reg + DMAR_RTADDR_REG);
writeq(addr, iommu->reg + DMAR_RTADDR_REG);