Searched refs:iommu_remove_device (Results 1 – 3 of 3) sorted by relevance
172 iommu_remove_device(host_domain, pci_get_rid(dev)); in iommu_pci_delete()331 iommu_remove_device(void *dom, uint16_t rid) in iommu_remove_device() function
74 void iommu_remove_device(void *dom, uint16_t rid);
162 iommu_remove_device(iommu_host_domain(), pci_get_rid(dev)); in ppt_attach()418 iommu_remove_device(vm_iommu_domain(vm), pci_get_rid(ppt->dev)); in ppt_unassign_device()