Searched refs:pud_efi (Results 1 – 1 of 1) sorted by relevance
249 pud_t *pud_k, *pud_efi; in efi_sync_low_kernel_mappings() local297 pud_efi = pud_offset(p4d_efi, 0); in efi_sync_low_kernel_mappings()301 memcpy(pud_efi, pud_k, sizeof(pud_t) * num_entries); in efi_sync_low_kernel_mappings()303 pud_efi = pud_offset(p4d_efi, EFI_VA_START); in efi_sync_low_kernel_mappings()307 memcpy(pud_efi, pud_k, sizeof(pud_t) * num_entries); in efi_sync_low_kernel_mappings()
