Lines Matching refs:iommu_tsb_base_addr_reg
82 iommu_p->iommu_tsb_base_addr_reg =
119 iommu_p->iommu_ctrl_reg, iommu_p->iommu_tsb_base_addr_reg);
164 if (pci_preserve_iommu_tsb && *iommu_p->iommu_tsb_base_addr_reg)
188 *iommu_p->iommu_tsb_base_addr_reg = 0;
240 if (!pci_preserve_iommu_tsb || !(*iommu_p->iommu_tsb_base_addr_reg)) {
485 uint64_t obp_tsb_pa = *iommu_p->iommu_tsb_base_addr_reg;
489 "iommu_tsb_base_addr_reg=0x%08x (0x%08x.0x%08x)\n",
490 iommu_p->iommu_tsb_base_addr_reg,
491 (uint32_t)(*iommu_p->iommu_tsb_base_addr_reg >> 32),
492 (uint32_t)(*iommu_p->iommu_tsb_base_addr_reg & 0xffffffff));