Home
last modified time | relevance | path

Searched refs:EFI_VA_START (Results 1 – 2 of 2) sorted by relevance

/Linux-v4.19/arch/x86/platform/efi/
Defi_64.c56 static u64 efi_va = EFI_VA_START;
264 MAYBE_BUILD_BUG_ON((EFI_VA_START & PGDIR_MASK) != in efi_sync_low_kernel_mappings()
278 BUILD_BUG_ON((EFI_VA_START & P4D_MASK) != (EFI_VA_END & P4D_MASK)); in efi_sync_low_kernel_mappings()
292 BUILD_BUG_ON((EFI_VA_START & ~PUD_MASK) != 0); in efi_sync_low_kernel_mappings()
303 pud_efi = pud_offset(p4d_efi, EFI_VA_START); in efi_sync_low_kernel_mappings()
304 pud_k = pud_offset(p4d_k, EFI_VA_START); in efi_sync_low_kernel_mappings()
306 num_entries = PTRS_PER_PUD - pud_index(EFI_VA_START); in efi_sync_low_kernel_mappings()
/Linux-v4.19/arch/x86/include/asm/
Dpgtable_64_types.h152 #define EFI_VA_START ( -4 * (_AC(1, UL) << 30)) macro