Symbol: paging_domain_alloc
drivers/iommu/intel/iommu.c
2835
dmar_domain = paging_domain_alloc();
drivers/iommu/intel/iommu.c
2926
dmar_domain = paging_domain_alloc();