EFI_VA_END        100 arch/x86/mm/dump_pagetables.c 	[EFI_END_NR]		= { EFI_VA_END,		"EFI Runtime Services" },
EFI_VA_END        222 arch/x86/platform/efi/efi_64.c 	pgd = efi_pgd + pgd_index(EFI_VA_END);
EFI_VA_END        223 arch/x86/platform/efi/efi_64.c 	p4d = p4d_alloc(&init_mm, pgd, EFI_VA_END);
EFI_VA_END        229 arch/x86/platform/efi/efi_64.c 	pud = pud_alloc(&init_mm, p4d, EFI_VA_END);
EFI_VA_END        266 arch/x86/platform/efi/efi_64.c 	MAYBE_BUILD_BUG_ON(pgd_index(EFI_VA_END) != pgd_index(MODULES_END));
EFI_VA_END        268 arch/x86/platform/efi/efi_64.c 			(EFI_VA_END & PGDIR_MASK));
EFI_VA_END        273 arch/x86/platform/efi/efi_64.c 	num_entries = pgd_index(EFI_VA_END) - pgd_index(PAGE_OFFSET);
EFI_VA_END        280 arch/x86/platform/efi/efi_64.c 	BUILD_BUG_ON(p4d_index(EFI_VA_END) != p4d_index(MODULES_END));
EFI_VA_END        281 arch/x86/platform/efi/efi_64.c 	BUILD_BUG_ON((EFI_VA_START & P4D_MASK) != (EFI_VA_END & P4D_MASK));
EFI_VA_END        283 arch/x86/platform/efi/efi_64.c 	pgd_efi = efi_pgd + pgd_index(EFI_VA_END);
EFI_VA_END        284 arch/x86/platform/efi/efi_64.c 	pgd_k = pgd_offset_k(EFI_VA_END);
EFI_VA_END        288 arch/x86/platform/efi/efi_64.c 	num_entries = p4d_index(EFI_VA_END);
EFI_VA_END        296 arch/x86/platform/efi/efi_64.c 	BUILD_BUG_ON((EFI_VA_END & ~PUD_MASK) != 0);
EFI_VA_END        298 arch/x86/platform/efi/efi_64.c 	p4d_efi = p4d_offset(pgd_efi, EFI_VA_END);
EFI_VA_END        299 arch/x86/platform/efi/efi_64.c 	p4d_k = p4d_offset(pgd_k, EFI_VA_END);
EFI_VA_END        303 arch/x86/platform/efi/efi_64.c 	num_entries = pud_index(EFI_VA_END);
EFI_VA_END        471 arch/x86/platform/efi/efi_64.c 	if (efi_va < EFI_VA_END) {