Lines Matching refs:p4d
279 static inline int update_pud_range(p4d_t *p4d, unsigned long addr, in update_pud_range() argument
287 pud = pud_offset(p4d, addr); in update_pud_range()
305 p4d_t *p4d; in update_p4d_range() local
309 p4d = p4d_offset(pgd, addr); in update_p4d_range()
312 if (!p4d_present(*p4d)) { in update_p4d_range()
313 if (hvc->force || p4d_newpage(*p4d)) { in update_p4d_range()
315 p4d_mkuptodate(*p4d); in update_p4d_range()
318 ret = update_pud_range(p4d, addr, next, hvc); in update_p4d_range()
319 } while (p4d++, addr = next, ((addr < end) && !ret)); in update_p4d_range()
362 p4d_t *p4d; in flush_tlb_kernel_range_common() local
389 p4d = p4d_offset(pgd, addr); in flush_tlb_kernel_range_common()
390 if (!p4d_present(*p4d)) { in flush_tlb_kernel_range_common()
394 if (p4d_newpage(*p4d)) { in flush_tlb_kernel_range_common()
405 pud = pud_offset(p4d, addr); in flush_tlb_kernel_range_common()
465 p4d_t *p4d; in flush_tlb_page() local
479 p4d = p4d_offset(pgd, address); in flush_tlb_page()
480 if (!p4d_present(*p4d)) in flush_tlb_page()
483 pud = pud_offset(p4d, address); in flush_tlb_page()