Searched refs:p4d_k (Results 1 – 3 of 3) sorted by relevance
| /Linux-v4.19/arch/riscv/mm/ |
| D | fault.c | 227 p4d_t *p4d, *p4d_k; in do_page_fault() local
256 p4d_k = p4d_offset(pgd_k, addr); in do_page_fault()
257 if (!p4d_present(*p4d_k)) in do_page_fault()
261 pud_k = pud_offset(p4d_k, addr); in do_page_fault()
|
| /Linux-v4.19/arch/x86/platform/efi/ |
| D | efi_64.c | 79 p4d_t *p4d, *p4d_k, *p4d_efi; in efi_call_phys_prolog() local
134 p4d_k = p4d_offset(pgd_k, vaddr); in efi_call_phys_prolog()
135 pud[j] = *pud_offset(p4d_k, vaddr); in efi_call_phys_prolog()
248 p4d_t *p4d_k, *p4d_efi; in efi_sync_low_kernel_mappings() local
283 p4d_k = p4d_offset(pgd_k, 0); in efi_sync_low_kernel_mappings()
286 memcpy(p4d_efi, p4d_k, sizeof(p4d_t) * num_entries); in efi_sync_low_kernel_mappings()
296 p4d_k = p4d_offset(pgd_k, EFI_VA_END); in efi_sync_low_kernel_mappings()
298 pud_k = pud_offset(p4d_k, 0); in efi_sync_low_kernel_mappings()
304 pud_k = pud_offset(p4d_k, EFI_VA_START); in efi_sync_low_kernel_mappings()
|
| /Linux-v4.19/arch/x86/mm/ |
| D | fault.c | 237 p4d_t *p4d, *p4d_k; in vmalloc_sync_one() local
253 p4d_k = p4d_offset(pgd_k, address); in vmalloc_sync_one()
254 if (!p4d_present(*p4d_k)) in vmalloc_sync_one()
258 pud_k = pud_offset(p4d_k, address); in vmalloc_sync_one()
421 p4d_t *p4d, *p4d_k; in vmalloc_fault() local
453 p4d_k = p4d_offset(pgd_k, address); in vmalloc_fault()
454 if (p4d_none(*p4d_k)) in vmalloc_fault()
458 set_p4d(p4d, *p4d_k); in vmalloc_fault()
461 BUG_ON(p4d_pfn(*p4d) != p4d_pfn(*p4d_k)); in vmalloc_fault()
|
