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