addr_pud           77 arch/x86/platform/efi/efi_64.c 	unsigned long vaddr, addr_pgd, addr_p4d, addr_pud;
addr_pud          128 arch/x86/platform/efi/efi_64.c 				addr_pud = addr_p4d + j * PUD_SIZE;
addr_pud          130 arch/x86/platform/efi/efi_64.c 				if (addr_pud > (max_pfn << PAGE_SHIFT))
addr_pud          133 arch/x86/platform/efi/efi_64.c 				vaddr = (unsigned long)__va(addr_pud);