io/pci/pci_iommu.c

91 	iommu_p->iommu_tsb_vaddr = /* retrieve TSB VA reserved by system */
95 	iommu_p->iommu_tsb_paddr = va_to_pa((caddr_t)iommu_p->iommu_tsb_vaddr);
123 		iommu_p->iommu_tsb_vaddr, iommu_p->iommu_tsb_paddr);
127 		iommu_p->iommu_tsb_vaddr,
140 	bzero(iommu_p->iommu_tsb_vaddr, tsb_entries << 3);
267 	uint64_t *tte_addr = iommu_p->iommu_tsb_vaddr + pg_index;
299 	ASSERT(tte_addr == iommu_p->iommu_tsb_vaddr + pg_index);
304 		ASSERT(TTE_IS_INVALID(iommu_p->iommu_tsb_vaddr[pg_index]));
497 	base_tte_addr = iommu_p->iommu_tsb_vaddr +
508 		"iommu_tsb_vaddr=%08x copy to base_tte_addr=%08x "
509 		"base_pg_index=%x\n", iommu_p->iommu_tsb_vaddr,