Lines Matching refs:p4d_page
310 void set_pte_vaddr_p4d(p4d_t *p4d_page, unsigned long vaddr, pte_t new_pte)
312 p4d_t *p4d = p4d_page + p4d_index(vaddr);
328 p4d_t *p4d_page;
339 p4d_page = p4d_offset(pgd, 0);
340 set_pte_vaddr_p4d(p4d_page, vaddr, pteval);
675 phys_p4d_init(p4d_t *p4d_page, unsigned long paddr, unsigned long paddr_end,
685 return phys_pud_init((pud_t *) p4d_page, paddr, paddr_end,
689 p4d_t *p4d = p4d_page + p4d_index(vaddr);
1053 free_pagetable(p4d_page(*p4d), 0);
1585 get_page_bootmem(section_nr, p4d_page(*p4d), MIX_SECTION_INFO);