p4d_efi            79 arch/x86/platform/efi/efi_64.c 	p4d_t *p4d, *p4d_k, *p4d_efi;
p4d_efi           119 arch/x86/platform/efi/efi_64.c 			p4d_efi = p4d + p4d_index(addr_p4d);
p4d_efi           121 arch/x86/platform/efi/efi_64.c 			pud = pud_alloc(&init_mm, p4d_efi, addr_p4d);
p4d_efi           251 arch/x86/platform/efi/efi_64.c 	p4d_t *p4d_k, *p4d_efi;
p4d_efi           285 arch/x86/platform/efi/efi_64.c 	p4d_efi = p4d_offset(pgd_efi, 0);
p4d_efi           289 arch/x86/platform/efi/efi_64.c 	memcpy(p4d_efi, p4d_k, sizeof(p4d_t) * num_entries);
p4d_efi           298 arch/x86/platform/efi/efi_64.c 	p4d_efi = p4d_offset(pgd_efi, EFI_VA_END);
p4d_efi           300 arch/x86/platform/efi/efi_64.c 	pud_efi = pud_offset(p4d_efi, 0);
p4d_efi           306 arch/x86/platform/efi/efi_64.c 	pud_efi = pud_offset(p4d_efi, EFI_VA_START);