Lines Matching refs:iommu_tsb_vaddr
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,