Symbol: pte_alloc_map
arch/arm/mm/pgd.c
101
new_pte = pte_alloc_map(mm, new_pmd, 0);
arch/x86/kernel/tboot.c
132
pte = pte_alloc_map(&tboot_mm, pmd, vaddr);