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);