Searched refs:p4d_efi (Results 1 – 1 of 1) sorted by relevance
| /Linux-v5.4/arch/x86/platform/efi/ |
| D | efi_64.c | 79 p4d_t *p4d, *p4d_k, *p4d_efi; in efi_call_phys_prolog() local
119 p4d_efi = p4d + p4d_index(addr_p4d); in efi_call_phys_prolog()
121 pud = pud_alloc(&init_mm, p4d_efi, addr_p4d); in efi_call_phys_prolog()
251 p4d_t *p4d_k, *p4d_efi; in efi_sync_low_kernel_mappings() local
285 p4d_efi = p4d_offset(pgd_efi, 0); in efi_sync_low_kernel_mappings()
289 memcpy(p4d_efi, p4d_k, sizeof(p4d_t) * num_entries); in efi_sync_low_kernel_mappings()
298 p4d_efi = p4d_offset(pgd_efi, EFI_VA_END); in efi_sync_low_kernel_mappings()
300 pud_efi = pud_offset(p4d_efi, 0); in efi_sync_low_kernel_mappings()
306 pud_efi = pud_offset(p4d_efi, EFI_VA_START); in efi_sync_low_kernel_mappings()
|
