io/pci/pci_iommu.c

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));