Searched refs:iommu_add_device (Results 1 – 3 of 3) sorted by relevance
| /src/sys/amd64/vmm/io/ |
| H A D | iommu.c | 165 iommu_add_device(host_domain, dev, pci_get_rid(dev)); in iommu_pci_add()
238 error = iommu_add_device(host_domain, dev, in iommu_init()
345 iommu_add_device(void *dom, device_t dev, uint16_t rid) in iommu_add_device() function
|
| H A D | iommu.h | 71 int iommu_add_device(void *dom, device_t dev, uint16_t rid);
|
| H A D | ppt.c | 203 error = iommu_add_device(iommu_host_domain(), dev, in ppt_detach()
435 error = iommu_add_device(vm_iommu_domain(vm), ppt->dev, in ppt_assign_device()
|