iommu_host_domain - FreeBSD

Symbol: iommu_host_domain

sys/amd64/vmm/io/iommu.h

void *iommu_host_domain(void);

sys/amd64/vmm/io/ppt.c

error = iommu_remove_device(iommu_host_domain(), dev, pci_get_rid(dev));

sys/amd64/vmm/io/ppt.c

if (iommu_host_domain() != NULL) {

sys/amd64/vmm/io/ppt.c

error = iommu_add_device(iommu_host_domain(), dev,

sys/amd64/vmm/vmm.c

error = iommu_invalidate_tlb(iommu_host_domain());