Searched refs:host_domain (Results 1 – 1 of 1) sorted by relevance
58 static void *host_domain; variable165 iommu_add_device(host_domain, dev, pci_get_rid(dev)); in iommu_pci_add()172 iommu_remove_device(host_domain, dev, pci_get_rid(dev)); in iommu_pci_delete()203 host_domain = IOMMU_CREATE_DOMAIN(maxaddr); in iommu_init()204 if (host_domain == NULL) { in iommu_init()216 iommu_create_mapping(host_domain, 0, 0, maxaddr); in iommu_init()238 error = iommu_add_device(host_domain, dev, in iommu_init()268 IOMMU_DESTROY_DOMAIN(host_domain); in iommu_cleanup_int()269 host_domain = NULL; in iommu_cleanup_int()341 return (host_domain); in iommu_host_domain()