pgd_efi            78 arch/x86/platform/efi/efi_64.c 	pgd_t *save_pgd, *pgd_k, *pgd_efi;
pgd_efi           108 arch/x86/platform/efi/efi_64.c 		pgd_efi = pgd_offset_k(addr_pgd);
pgd_efi           109 arch/x86/platform/efi/efi_64.c 		save_pgd[pgd] = *pgd_efi;
pgd_efi           111 arch/x86/platform/efi/efi_64.c 		p4d = p4d_alloc(&init_mm, pgd_efi, addr_pgd);
pgd_efi           250 arch/x86/platform/efi/efi_64.c 	pgd_t *pgd_k, *pgd_efi;
pgd_efi           270 arch/x86/platform/efi/efi_64.c 	pgd_efi = efi_pgd + pgd_index(PAGE_OFFSET);
pgd_efi           274 arch/x86/platform/efi/efi_64.c 	memcpy(pgd_efi, pgd_k, sizeof(pgd_t) * num_entries);
pgd_efi           283 arch/x86/platform/efi/efi_64.c 	pgd_efi = efi_pgd + pgd_index(EFI_VA_END);
pgd_efi           285 arch/x86/platform/efi/efi_64.c 	p4d_efi = p4d_offset(pgd_efi, 0);
pgd_efi           298 arch/x86/platform/efi/efi_64.c 	p4d_efi = p4d_offset(pgd_efi, EFI_VA_END);