Symbol: amdiommu_domain_free_pgtbl
sys/x86/iommu/amd_ctx.c
172
amdiommu_domain_free_pgtbl(domain);
sys/x86/iommu/amd_iommu.h
239
void amdiommu_domain_free_pgtbl(struct amdiommu_domain *domain);