arch/x86/mm/dump_pagetables.c

102

[EFI_END_NR] = { EFI_VA_END, "EFI Runtime Services" },

arch/x86/platform/efi/efi_64.c

119

num_entries = pgd_index(EFI_VA_END) - pgd_index(PAGE_OFFSET);

arch/x86/platform/efi/efi_64.c

122

pgd_efi = efi_pgd + pgd_index(EFI_VA_END);

arch/x86/platform/efi/efi_64.c

123

pgd_k = pgd_offset_k(EFI_VA_END);

arch/x86/platform/efi/efi_64.c

127

num_entries = p4d_index(EFI_VA_END);

arch/x86/platform/efi/efi_64.c

135

BUILD_BUG_ON((EFI_VA_END & ~PUD_MASK) != 0);

arch/x86/platform/efi/efi_64.c

137

p4d_efi = p4d_offset(pgd_efi, EFI_VA_END);

arch/x86/platform/efi/efi_64.c

138

p4d_k = p4d_offset(pgd_k, EFI_VA_END);

arch/x86/platform/efi/efi_64.c

142

num_entries = pud_index(EFI_VA_END);

arch/x86/platform/efi/efi_64.c

344

if (efi_va < EFI_VA_END) {

arch/x86/platform/efi/efi_64.c

80

pgd = efi_pgd + pgd_index(EFI_VA_END);

arch/x86/platform/efi/efi_64.c

81

p4d = p4d_alloc(&init_mm, pgd, EFI_VA_END);

arch/x86/platform/efi/efi_64.c

85

pud = pud_alloc(&init_mm, p4d, EFI_VA_END);