Symbol: iommu_destroy_domain
sys/amd64/vmm/io/iommu.h
67
void iommu_destroy_domain(void *dom);
sys/amd64/vmm/vmm.c
409
iommu_destroy_domain(vm->iommu);