Symbol: paging_domain_alloc
drivers/iommu/intel/iommu.c
2838
dmar_domain = paging_domain_alloc();
drivers/iommu/intel/iommu.c
2929
dmar_domain = paging_domain_alloc();