Searched refs:host_domain (Results 1 – 1 of 1) sorted by relevance
58 static void *host_domain; variable160 iommu_add_device(host_domain, pci_get_rid(dev)); in iommu_pci_add()167 iommu_remove_device(host_domain, pci_get_rid(dev)); in iommu_pci_delete()198 host_domain = IOMMU_CREATE_DOMAIN(maxaddr); in iommu_init()199 if (host_domain == NULL) { in iommu_init()211 iommu_create_mapping(host_domain, 0, 0, maxaddr); in iommu_init()233 iommu_add_device(host_domain, in iommu_init()255 IOMMU_DESTROY_DOMAIN(host_domain); in iommu_cleanup()256 host_domain = NULL; in iommu_cleanup()316 return (host_domain); in iommu_host_domain()