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