Searched refs:host_domain (Results 1 – 2 of 2) sorted by relevance
| /f-stack/freebsd/amd64/vmm/io/ |
| H A D | iommu.c | 63 static void *host_domain; variable
165 iommu_add_device(host_domain, pci_get_rid(dev)); in iommu_pci_add()
172 iommu_remove_device(host_domain, 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 iommu_add_device(host_domain, in iommu_init()
260 IOMMU_DESTROY_DOMAIN(host_domain); in iommu_cleanup()
320 return (host_domain); in iommu_host_domain()
|
| /f-stack/freebsd/amd64/vmm/ |
| H A D | vmm.c | 884 void *vp, *cookie, *host_domain; in vm_iommu_modify() local
887 host_domain = iommu_host_domain(); in vm_iommu_modify()
922 iommu_remove_mapping(host_domain, hpa, sz); in vm_iommu_modify()
925 iommu_create_mapping(host_domain, hpa, hpa, sz); in vm_iommu_modify()
937 iommu_invalidate_tlb(host_domain); in vm_iommu_modify()
|