Symbol: dmar_domain_alloc_pgtbl