efi_pgd           209 arch/x86/platform/efi/efi_64.c 	pgd_t *pgd, *efi_pgd;
efi_pgd           218 arch/x86/platform/efi/efi_64.c 	efi_pgd = (pgd_t *)__get_free_pages(gfp_mask, PGD_ALLOCATION_ORDER);
efi_pgd           219 arch/x86/platform/efi/efi_64.c 	if (!efi_pgd)
efi_pgd           222 arch/x86/platform/efi/efi_64.c 	pgd = efi_pgd + pgd_index(EFI_VA_END);
efi_pgd           225 arch/x86/platform/efi/efi_64.c 		free_page((unsigned long)efi_pgd);
efi_pgd           233 arch/x86/platform/efi/efi_64.c 		free_pages((unsigned long)efi_pgd, PGD_ALLOCATION_ORDER);
efi_pgd           237 arch/x86/platform/efi/efi_64.c 	efi_mm.pgd = efi_pgd;
efi_pgd           253 arch/x86/platform/efi/efi_64.c 	pgd_t *efi_pgd = efi_mm.pgd;
efi_pgd           270 arch/x86/platform/efi/efi_64.c 	pgd_efi = efi_pgd + pgd_index(PAGE_OFFSET);
efi_pgd           283 arch/x86/platform/efi/efi_64.c 	pgd_efi = efi_pgd + pgd_index(EFI_VA_END);