arm_pte_alloc
return arm_pte_alloc(pmd, addr, prot, early_alloc);
pte_t *pte = arm_pte_alloc(pmd, addr, type->prot_l1, alloc);