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