Symbol: IOMMU_DESTROY_DOMAIN
sys/amd64/vmm/io/iommu.c
268
IOMMU_DESTROY_DOMAIN(host_domain);
sys/amd64/vmm/io/iommu.c
299
IOMMU_DESTROY_DOMAIN(dom);