273 static inline int update_pud_range(p4d_t *p4d, unsigned long addr,  in update_pud_range()  argument
281 	pud = pud_offset(p4d, addr);  in update_pud_range()
299 	p4d_t *p4d;  in update_p4d_range()  local
303 	p4d = p4d_offset(pgd, addr);  in update_p4d_range()
306 		if (!p4d_present(*p4d)) {  in update_p4d_range()
307 			if (hvc->force || p4d_newpage(*p4d)) {  in update_p4d_range()
309 				p4d_mkuptodate(*p4d);  in update_p4d_range()
312 			ret = update_pud_range(p4d, addr, next, hvc);  in update_p4d_range()
313 	} while (p4d++, addr = next, ((addr < end) && !ret));  in update_p4d_range()
355 	p4d_t *p4d;  in flush_tlb_kernel_range_common()  local
382 		p4d = p4d_offset(pgd, addr);  in flush_tlb_kernel_range_common()
383 		if (!p4d_present(*p4d)) {  in flush_tlb_kernel_range_common()
387 			if (p4d_newpage(*p4d)) {  in flush_tlb_kernel_range_common()
398 		pud = pud_offset(p4d, addr);  in flush_tlb_kernel_range_common()
458 	p4d_t *p4d;  in flush_tlb_page()  local
473 	p4d = p4d_offset(pgd, address);  in flush_tlb_page()
474 	if (!p4d_present(*p4d))  in flush_tlb_page()
477 	pud = pud_offset(p4d, address);  in flush_tlb_page()