186 			p4d_t *p4d;  in sync_global_pgds_l4()  local
246 		p4d_t *p4d = (p4d_t *)spp_getpage();  in fill_p4d()  local
255 static pud_t *fill_pud(p4d_t *p4d, unsigned long vaddr)  in fill_pud()
306 	p4d_t *p4d = p4d_page + p4d_index(vaddr);  in set_pte_vaddr_p4d()  local
340 	p4d_t *p4d;  in populate_extra_pmd()  local
364 	p4d_t *p4d;  in __init_extra_mapping()  local
688 		p4d_t *p4d = p4d_page + p4d_index(vaddr);  in phys_p4d_init()  local
740 		p4d_t *p4d;  in __kernel_physical_mapping_init()  local
941 static void __meminit free_pud_table(pud_t *pud_start, p4d_t *p4d)  in free_pud_table()
1147 	p4d_t *p4d;  in remove_p4d_table()  local
1181 	p4d_t *p4d;  in remove_pagetable()  local
1247 		p4d_t *p4d;  in preallocate_vmalloc_pages()  local
1379 	p4d_t *p4d;  in kern_addr_valid()  local
1498 	p4d_t *p4d;  in vmemmap_populate_hugepages()  local
1582 	p4d_t *p4d;  in register_page_bootmem_memmap()  local