Searched refs:iommu_host_domain (Results 1 – 4 of 4) sorted by relevance
65 void *iommu_host_domain(void);
162 error = iommu_remove_device(iommu_host_domain(), dev, pci_get_rid(dev)); in ppt_attach()187 if (iommu_host_domain() != NULL) { in ppt_detach()188 error = iommu_add_device(iommu_host_domain(), dev, in ppt_detach()
338 iommu_host_domain(void) in iommu_host_domain() function
792 error = iommu_invalidate_tlb(iommu_host_domain()); in vm_iommu_map()