Lines Matching defs:p4d_page
304 void set_pte_vaddr_p4d(p4d_t *p4d_page, unsigned long vaddr, pte_t new_pte)
306 p4d_t *p4d = p4d_page + p4d_index(vaddr);
322 p4d_t *p4d_page;
333 p4d_page = p4d_offset(pgd, 0);
334 set_pte_vaddr_p4d(p4d_page, vaddr, pteval);
674 phys_p4d_init(p4d_t *p4d_page, unsigned long paddr, unsigned long paddr_end,
684 return phys_pud_init((pud_t *) p4d_page, paddr, paddr_end,
688 p4d_t *p4d = p4d_page + p4d_index(vaddr);
953 free_pagetable(p4d_page(*p4d), 0);
1603 get_page_bootmem(section_nr, p4d_page(*p4d), MIX_SECTION_INFO);