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