Symbol: iommu_gas_free_region
sys/dev/iommu/iommu.h
188
void iommu_gas_free_region(struct iommu_map_entry *entry);
sys/x86/iommu/iommu_utils.c
487
iommu_gas_free_region(entry);
sys/x86/iommu/iommu_utils.c
674
iommu_gas_free_region(entry);