Searched refs:EFI_VA_END (Results 1 – 3 of 3) sorted by relevance
83 pgd = efi_pgd + pgd_index(EFI_VA_END); in efi_alloc_page_tables()84 p4d = p4d_alloc(&init_mm, pgd, EFI_VA_END); in efi_alloc_page_tables()88 pud = pud_alloc(&init_mm, p4d, EFI_VA_END); in efi_alloc_page_tables()126 MAYBE_BUILD_BUG_ON(pgd_index(EFI_VA_END) != pgd_index(MODULES_END)); in efi_sync_low_kernel_mappings()128 (EFI_VA_END & PGDIR_MASK)); in efi_sync_low_kernel_mappings()133 num_entries = pgd_index(EFI_VA_END) - pgd_index(PAGE_OFFSET); in efi_sync_low_kernel_mappings()140 BUILD_BUG_ON(p4d_index(EFI_VA_END) != p4d_index(MODULES_END)); in efi_sync_low_kernel_mappings()141 BUILD_BUG_ON((EFI_VA_START & P4D_MASK) != (EFI_VA_END & P4D_MASK)); in efi_sync_low_kernel_mappings()143 pgd_efi = efi_pgd + pgd_index(EFI_VA_END); in efi_sync_low_kernel_mappings()144 pgd_k = pgd_offset_k(EFI_VA_END); in efi_sync_low_kernel_mappings()[all …]
156 #define EFI_VA_END (-68 * (_AC(1, UL) << 30)) macro
102 [EFI_END_NR] = { EFI_VA_END, "EFI Runtime Services" },
