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);