Symbol: iommu_gas_fini_domain
sys/arm64/iommu/iommu.c
153
iommu_gas_fini_domain(iodom);
sys/dev/iommu/iommu.h
178
void iommu_gas_fini_domain(struct iommu_domain *domain);
sys/riscv/iommu/iommu_frontend.c
145
iommu_gas_fini_domain(iodom);
sys/x86/iommu/amd_ctx.c
166
iommu_gas_fini_domain(iodom);
sys/x86/iommu/intel_ctx.c
486
iommu_gas_fini_domain(iodom);