306 	p4d_t *p4dp = p4d_offset(pgdp, addr);  in alloc_init_pud()
307 	p4d_t p4d = READ_ONCE(*p4dp);  in alloc_init_pud()
730 		p4d_t *bm_p4dp;  in map_kernel()
775 	p4d_t *p4dp;  in kern_addr_valid()
906 static void unmap_hotplug_pud_range(p4d_t *p4dp, unsigned long addr,  in unmap_hotplug_pud_range()
944 	p4d_t *p4dp, p4d;  in unmap_hotplug_p4d_range()
1061 static void free_empty_pud_table(p4d_t *p4dp, unsigned long addr,  in free_empty_pud_table()
1106 	p4d_t *p4dp, p4d;  in free_empty_p4d_table()
1153 	p4d_t *p4dp;  in vmemmap_populate()
1206 	p4d_t *p4dp = p4d_offset(pgdp, addr);  in fixmap_pud()
1207 	p4d_t p4d = READ_ONCE(*p4dp);  in fixmap_pud()
1238 	p4d_t *p4dp, p4d;  in early_fixmap_init()
1475 int p4d_free_pud_page(p4d_t *p4d, unsigned long addr)  in p4d_free_pud_page()