Searched refs:iommu_remove_device (Results 1 – 4 of 4) sorted by relevance
79 iommu_remove_device(host_domain, pci_get_rid(dip)); in iommu_find_device()274 iommu_remove_device(void *domain, uint16_t rid) in iommu_remove_device() function
82 void iommu_remove_device(void *domain, uint16_t rid);
1080 iommu_remove_device(iommu_host_domain(), pci_get_bdf(ppt->pptd_dip)); in ppt_assign_device()1136 iommu_remove_device(vm_iommu_domain(vm), pci_get_bdf(ppt->pptd_dip)); in ppt_do_unassign()
64 iommu_remove_device;