Symbol: dmar_domain_free_pgtbl
sys/x86/iommu/intel_ctx.c
492
dmar_domain_free_pgtbl(domain);
sys/x86/iommu/intel_dmar.h
226
void dmar_domain_free_pgtbl(struct dmar_domain *domain);