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;