addr_pgd           77 arch/x86/platform/efi/efi_64.c 	unsigned long vaddr, addr_pgd, addr_p4d, addr_pud;
addr_pgd          106 arch/x86/platform/efi/efi_64.c 		addr_pgd = (unsigned long)(pgd * PGDIR_SIZE);
addr_pgd          108 arch/x86/platform/efi/efi_64.c 		pgd_efi = pgd_offset_k(addr_pgd);
addr_pgd          111 arch/x86/platform/efi/efi_64.c 		p4d = p4d_alloc(&init_mm, pgd_efi, addr_pgd);
addr_pgd          118 arch/x86/platform/efi/efi_64.c 			addr_p4d = addr_pgd + i * P4D_SIZE;