Home
last modified time | relevance | path

Searched refs:iommu_host_domain (Results 1 – 4 of 4) sorted by relevance

/freebsd/sys/amd64/vmm/io/
H A Diommu.h65 void *iommu_host_domain(void);
H A Dppt.c157 iommu_remove_device(iommu_host_domain(), pci_get_rid(dev)); in ppt_attach()
181 if (iommu_host_domain() != NULL) in ppt_detach()
182 iommu_add_device(iommu_host_domain(), pci_get_rid(dev)); in ppt_detach()
H A Diommu.c313 iommu_host_domain(void) in iommu_host_domain() function
/freebsd/sys/amd64/vmm/
H A Dvmm.c1083 iommu_invalidate_tlb(iommu_host_domain()); in vm_iommu_map()