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