73 DEFINE_POPULATE(p4d_populate, p4d, pud, init)  in DEFINE_POPULATE()  argument
192 			p4d_t *p4d;  in sync_global_pgds_l4()  local
252 		p4d_t *p4d = (p4d_t *)spp_getpage();  in fill_p4d()  local
261 static pud_t *fill_pud(p4d_t *p4d, unsigned long vaddr)  in fill_pud()
312 	p4d_t *p4d = p4d_page + p4d_index(vaddr);  in set_pte_vaddr_p4d()  local
346 	p4d_t *p4d;  in populate_extra_pmd()  local
370 	p4d_t *p4d;  in __init_extra_mapping()  local
695 		p4d_t *p4d = p4d_page + p4d_index(vaddr);  in phys_p4d_init()  local
749 		p4d_t *p4d;  in __kernel_physical_mapping_init()  local
1051 static void __meminit free_pud_table(pud_t *pud_start, p4d_t *p4d)  in free_pud_table()
1201 	p4d_t *p4d;  in remove_p4d_table()  local
1235 	p4d_t *p4d;  in remove_pagetable()  local
1303 		p4d_t *p4d;  in preallocate_vmalloc_pages()  local
1562 	p4d_t *p4d;  in register_page_bootmem_memmap()  local