Searched refs:EFI_VA_START (Results 1 – 2 of 2) sorted by relevance
56 static u64 efi_va = EFI_VA_START;133 BUILD_BUG_ON((EFI_VA_START & ~PUD_MASK) != 0); in efi_sync_low_kernel_mappings()144 pud_efi = pud_offset(p4d_efi, EFI_VA_START); in efi_sync_low_kernel_mappings()145 pud_k = pud_offset(p4d_k, EFI_VA_START); in efi_sync_low_kernel_mappings()147 num_entries = PTRS_PER_PUD - pud_index(EFI_VA_START); in efi_sync_low_kernel_mappings()
205 #define EFI_VA_START ( -4 * (_AC(1, UL) << 30)) macro