pud_efi 252 arch/x86/platform/efi/efi_64.c pud_t *pud_k, *pud_efi; pud_efi 300 arch/x86/platform/efi/efi_64.c pud_efi = pud_offset(p4d_efi, 0); pud_efi 304 arch/x86/platform/efi/efi_64.c memcpy(pud_efi, pud_k, sizeof(pud_t) * num_entries); pud_efi 306 arch/x86/platform/efi/efi_64.c pud_efi = pud_offset(p4d_efi, EFI_VA_START); pud_efi 310 arch/x86/platform/efi/efi_64.c memcpy(pud_efi, pud_k, sizeof(pud_t) * num_entries);