Searched refs:iommu_tsb_vaddr (Results 1 – 5 of 5) sorted by relevance
92 iommu_p->iommu_tsb_vaddr = /* retrieve TSB VA reserved by system */ in iommu_create()96 iommu_p->iommu_tsb_paddr = va_to_pa((caddr_t)iommu_p->iommu_tsb_vaddr); in iommu_create()124 iommu_p->iommu_tsb_vaddr, iommu_p->iommu_tsb_paddr); in iommu_create()128 iommu_p->iommu_tsb_vaddr, in iommu_create()141 bzero(iommu_p->iommu_tsb_vaddr, tsb_entries << 3); in iommu_create()267 uint64_t *tte_addr = iommu_p->iommu_tsb_vaddr + pg_index; in iommu_map_pages()299 ASSERT(tte_addr == iommu_p->iommu_tsb_vaddr + pg_index); in iommu_map_pages()304 ASSERT(TTE_IS_INVALID(iommu_p->iommu_tsb_vaddr[pg_index])); in iommu_map_pages()497 base_tte_addr = iommu_p->iommu_tsb_vaddr + in iommu_preserve_tsb()509 "base_pg_index=%x\n", iommu_p->iommu_tsb_vaddr, in iommu_preserve_tsb()
241 iommu_p->iommu_tsb_vaddr[pg_index + i]); in pci_fdvma_remap()250 iommu_p->iommu_tsb_vaddr[pg_index + i] = tte | IOMMU_PTOB(pfn); in pci_fdvma_remap()
112 iommu_p->iommu_tsb_vaddr[pg_index + i] = tte | IOMMU_PTOB(pfn); in pci_fdvma_load()
949 tte_addr = iommu_p->iommu_tsb_vaddr + i; in pci_dvma_map_fast()
139 uint64_t *iommu_tsb_vaddr; member212 (iommu_p)->iommu_tsb_vaddr[pg_index] = COMMON_IOMMU_INVALID_TTE