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.c161 iommu_remove_device(iommu_host_domain(), pci_get_rid(dev)); in ppt_attach()
184 if (iommu_host_domain() != NULL) in ppt_detach()
185 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.c792 iommu_invalidate_tlb(iommu_host_domain()); in vm_iommu_map()