EFI_VA_START       56 arch/x86/platform/efi/efi_64.c static u64 efi_va = EFI_VA_START;
EFI_VA_START      267 arch/x86/platform/efi/efi_64.c 	MAYBE_BUILD_BUG_ON((EFI_VA_START & PGDIR_MASK) !=
EFI_VA_START      281 arch/x86/platform/efi/efi_64.c 	BUILD_BUG_ON((EFI_VA_START & P4D_MASK) != (EFI_VA_END & P4D_MASK));
EFI_VA_START      295 arch/x86/platform/efi/efi_64.c 	BUILD_BUG_ON((EFI_VA_START & ~PUD_MASK) != 0);
EFI_VA_START      306 arch/x86/platform/efi/efi_64.c 	pud_efi = pud_offset(p4d_efi, EFI_VA_START);
EFI_VA_START      307 arch/x86/platform/efi/efi_64.c 	pud_k = pud_offset(p4d_k, EFI_VA_START);
EFI_VA_START      309 arch/x86/platform/efi/efi_64.c 	num_entries = PTRS_PER_PUD - pud_index(EFI_VA_START);