Symbol: amdiommu_ctx_fini_irte
sys/x86/iommu/amd_ctx.c
393
amdiommu_ctx_fini_irte(ctx);
sys/x86/iommu/amd_iommu.h
210
void amdiommu_ctx_fini_irte(struct amdiommu_ctx *ctx);