Home
last modified time | relevance | path

Searched refs:p4d_ref (Results 1 – 3 of 3) sorted by relevance

/arch/x86/mm/
Dfault.c439 p4d_t *p4d, *p4d_ref; in vmalloc_fault() local
474 p4d_ref = p4d_offset(pgd_ref, address); in vmalloc_fault()
475 if (p4d_none(*p4d_ref)) in vmalloc_fault()
479 set_p4d(p4d, *p4d_ref); in vmalloc_fault()
482 BUG_ON(p4d_pfn(*p4d) != p4d_pfn(*p4d_ref)); in vmalloc_fault()
491 pud_ref = pud_offset(p4d_ref, address); in vmalloc_fault()
Dinit_64.c139 const p4d_t *p4d_ref; in sync_global_pgds() local
147 p4d_ref = p4d_offset(pgd_ref, addr); in sync_global_pgds()
149 if (p4d_none(*p4d_ref)) in sync_global_pgds()
164 if (!p4d_none(*p4d_ref) && !p4d_none(*p4d)) in sync_global_pgds()
166 != p4d_page_vaddr(*p4d_ref)); in sync_global_pgds()
169 set_p4d(p4d, *p4d_ref); in sync_global_pgds()
Dtlb.c182 p4d_t *p4d_ref = p4d_offset(pgd_ref, sp); in sync_current_stack_to_mm() local
184 set_p4d(p4d, *p4d_ref); in sync_current_stack_to_mm()