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