Home
last modified time | relevance | path

Searched refs:iommu_add_device (Results 1 – 3 of 3) sorted by relevance

/f-stack/freebsd/amd64/vmm/io/
H A Diommu.c165 iommu_add_device(host_domain, pci_get_rid(dev)); in iommu_pci_add()
238 iommu_add_device(host_domain, in iommu_init()
324 iommu_add_device(void *dom, uint16_t rid) in iommu_add_device() function
H A Diommu.h73 void iommu_add_device(void *dom, uint16_t rid);
H A Dppt.c185 iommu_add_device(iommu_host_domain(), pci_get_rid(dev)); in ppt_detach()
398 iommu_add_device(vm_iommu_domain(vm), pci_get_rid(ppt->dev)); in ppt_assign_device()