Symbol: iommu_host_domain
usr/src/uts/intel/io/vmm/io/iommu.h
78
void *iommu_host_domain(void);
usr/src/uts/intel/io/vmm/io/ppt.c
1092
iommu_remove_device(iommu_host_domain(), pci_get_bdf(ppt->pptd_dip));
usr/src/uts/intel/io/vmm/io/ppt.c
1149
iommu_add_device(iommu_host_domain(), pci_get_bdf(ppt->pptd_dip));