Lines Matching refs:EFI_VA_END
80 pgd = efi_pgd + pgd_index(EFI_VA_END); in efi_alloc_page_tables()
81 p4d = p4d_alloc(&init_mm, pgd, EFI_VA_END); in efi_alloc_page_tables()
85 pud = pud_alloc(&init_mm, p4d, EFI_VA_END); in efi_alloc_page_tables()
118 num_entries = pgd_index(EFI_VA_END) - pgd_index(PAGE_OFFSET); in efi_sync_low_kernel_mappings()
121 pgd_efi = efi_pgd + pgd_index(EFI_VA_END); in efi_sync_low_kernel_mappings()
122 pgd_k = pgd_offset_k(EFI_VA_END); in efi_sync_low_kernel_mappings()
126 num_entries = p4d_index(EFI_VA_END); in efi_sync_low_kernel_mappings()
134 BUILD_BUG_ON((EFI_VA_END & ~PUD_MASK) != 0); in efi_sync_low_kernel_mappings()
136 p4d_efi = p4d_offset(pgd_efi, EFI_VA_END); in efi_sync_low_kernel_mappings()
137 p4d_k = p4d_offset(pgd_k, EFI_VA_END); in efi_sync_low_kernel_mappings()
141 num_entries = pud_index(EFI_VA_END); in efi_sync_low_kernel_mappings()
343 if (efi_va < EFI_VA_END) { in efi_map_region()