Searched refs:p4d_alloc (Results 1 – 2 of 2) sorted by relevance
56 p4d_t *p4d = p4d_alloc(pgd, vaddr); in get_pud()145 p4d = p4d_alloc(pgd, va); in get_dat_entry()
144 static inline p4d_t *p4d_alloc(pgd_t *pgd, unsigned long addr) in p4d_alloc() function