Searched defs:tte_addr (Results 1 – 3 of 3) sorted by relevance
267 uint64_t *tte_addr = iommu_p->iommu_tsb_vaddr + pg_index; in iommu_map_pages() local
913 uint64_t *tte_addr; in pci_dvma_map_fast() local
1886 uint64_t *tte_addr; in hvio_iommu_getmap() local