addr_p4d           77 arch/x86/platform/efi/efi_64.c 	unsigned long vaddr, addr_pgd, addr_p4d, addr_pud;
addr_p4d          118 arch/x86/platform/efi/efi_64.c 			addr_p4d = addr_pgd + i * P4D_SIZE;
addr_p4d          119 arch/x86/platform/efi/efi_64.c 			p4d_efi = p4d + p4d_index(addr_p4d);
addr_p4d          121 arch/x86/platform/efi/efi_64.c 			pud = pud_alloc(&init_mm, p4d_efi, addr_p4d);
addr_p4d          128 arch/x86/platform/efi/efi_64.c 				addr_pud = addr_p4d + j * PUD_SIZE;