Lines Matching +full:arm64 +full:- +full:efi
1 /* SPDX-License-Identifier: GPL-2.0 */
35 __efi_rt_asm_wrapper((p)->f, #f, args)
44 * efi_rt_stack_top[-1] contains the value the stack pointer had before
45 * switching to the EFI runtime stack.
49 on_task_stack(current, READ_ONCE(efi_rt_stack_top[-1]), 1))
54 * Even when Linux uses IRQ priorities for IRQ disabling, EFI does not.
55 * And EFI shouldn't really play around with priority masking as it is not aware
74 * On arm64, we have to ensure that the initrd ends up in the linear region,
75 * which is a 1 GB aligned region of size '1UL << (VA_BITS_MIN - 1)' that is
78 * Since the EFI stub is part of the kernel Image, we can relax the
79 * usual requirements in Documentation/arch/arm64/booting.rst, which still
85 return (image_addr & ~(SZ_1G - 1UL)) + (1UL << (VA_BITS_MIN - 1)); in efi_get_max_initrd_addr()
104 #define EFI_ALLOC_LIMIT ((1UL << 48) - 1)
111 * - The stub retrieves the final version of the memory map from UEFI, populates
115 * - During an early initcall(), the EFI system table is permanently remapped
126 if (mm != current->active_mm) { in efi_set_pgd()
132 * exception when invoking the EFI run-time services. in efi_set_pgd()
144 update_saved_ttbr0(current, current->active_mm); in efi_set_pgd()