Symbol: iommu_cleanup
sys/amd64/vmm/io/iommu.h
64
void iommu_cleanup(void);
sys/amd64/vmm/vmm.c
305
iommu_cleanup();