Symbol: EFI_VA_START
arch/x86/platform/efi/efi_64.c
134
BUILD_BUG_ON((EFI_VA_START & ~PUD_MASK) != 0);
arch/x86/platform/efi/efi_64.c
145
pud_efi = pud_offset(p4d_efi, EFI_VA_START);
arch/x86/platform/efi/efi_64.c
146
pud_k = pud_offset(p4d_k, EFI_VA_START);
arch/x86/platform/efi/efi_64.c
148
num_entries = PTRS_PER_PUD - pud_index(EFI_VA_START);
arch/x86/platform/efi/efi_64.c
56
static u64 efi_va = EFI_VA_START;