Searched refs:iommu_remove_device (Results 1 – 3 of 3) sorted by relevance
| /freebsd-head/sys/amd64/vmm/io/ |
| HD | iommu.c | 172 iommu_remove_device(host_domain, dev, pci_get_rid(dev)); in iommu_pci_delete()
352 iommu_remove_device(void *dom, device_t dev, uint16_t rid) in iommu_remove_device() function
|
| HD | iommu.h | 72 int iommu_remove_device(void *dom, device_t dev, uint16_t rid);
|
| HD | ppt.c | 162 error = iommu_remove_device(iommu_host_domain(), dev, pci_get_rid(dev)); in ppt_attach()
455 error = iommu_remove_device(vm_iommu_domain(vm), ppt->dev, in ppt_unassign_device()
|