Symbol: iommu_add_device
sys/amd64/vmm/io/iommu.c
165
iommu_add_device(host_domain, dev, pci_get_rid(dev));
sys/amd64/vmm/io/iommu.c
238
error = iommu_add_device(host_domain, dev,
sys/amd64/vmm/io/iommu.h
71
int iommu_add_device(void *dom, device_t dev, uint16_t rid);
sys/amd64/vmm/io/ppt.c
203
error = iommu_add_device(iommu_host_domain(), dev,
sys/amd64/vmm/io/ppt.c
435
error = iommu_add_device(vm_iommu_domain(vm), ppt->dev,