Searched refs:iommu_tsb_cookie_to_va (Results 1 – 5 of 5) sorted by relevance
48 extern uint64_t *iommu_tsb_cookie_to_va(uint16_t);
244 iommu_tsb_cookie_to_va(uint16_t tsbc) in iommu_tsb_cookie_to_va() function
93 iommu_tsb_cookie_to_va(pci_p->pci_tsb_cookie); in iommu_create()
158 iommu_tsb_cookie_to_va(softsp->iommu_tsb_cookie); in iommu_init()
222 pxu_p->tsb_vaddr = iommu_tsb_cookie_to_va(pxu_p->tsb_cookie); in px_lib_dev_init()