1/* SPDX-License-Identifier: GPL-2.0-only */
2
3#include <linux/efi.h>
4
5extern struct boot_params *boot_params_pointer asm("boot_params");
6
7extern void trampoline_32bit_src(void *, bool);
8extern const u16 trampoline_ljmp_imm_offset;
9
10efi_status_t efi_adjust_memory_range_protection(unsigned long start,
11						unsigned long size);
12
13#ifdef CONFIG_X86_64
14efi_status_t efi_setup_5level_paging(void);
15void efi_5level_switch(void);
16#else
17static inline efi_status_t efi_setup_5level_paging(void) { return EFI_SUCCESS; }
18static inline void efi_5level_switch(void) {}
19#endif
20