Symbol: dmar_put_idmap_pgtbl
sys/x86/iommu/intel_dmar.h
222
void dmar_put_idmap_pgtbl(vm_object_t obj);
sys/x86/iommu/intel_idpgtbl.c
727
dmar_put_idmap_pgtbl(obj);