Searched refs:host_domain (Results 1 - 2 of 2) sorted by relevance
| /freebsd-10-stable/sys/amd64/vmm/io/ |
| H A D | iommu.c | 60 static void *host_domain; variable
184 host_domain = IOMMU_CREATE_DOMAIN(maxaddr);
185 if (host_domain == NULL) {
197 iommu_create_mapping(host_domain, 0, 0, maxaddr);
216 iommu_add_device(host_domain,
229 IOMMU_DESTROY_DOMAIN(host_domain);
289 return (host_domain);
|
| /freebsd-10-stable/sys/amd64/vmm/ |
| H A D | vmm.c | 802 void *vp, *cookie, *host_domain; local
805 host_domain = iommu_host_domain();
840 iommu_remove_mapping(host_domain, hpa, sz);
843 iommu_create_mapping(host_domain, hpa, hpa, sz);
855 iommu_invalidate_tlb(host_domain);
|
Completed in 162 milliseconds