Searched refs:tsb_i (Results 1 – 1 of 1) sorted by relevance
45 uint32_t tsb_i = 0; in px_mmu_attach() local115 for (tsb_i = 0; tsb_i < tsb_entries; tsb_i++) { in px_mmu_attach()120 if (px_lib_iommu_getmap(px_p->px_dip, PCI_TSBID(0, tsb_i), in px_mmu_attach()124 va = (caddr_t)(MMU_PTOB(mmu_p->dvma_base_pg + tsb_i)); in px_mmu_attach()136 cache_i = tsb_i / px_dvma_page_cache_clustsz; in px_mmu_attach()