18 lines · c
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_6412efi_status_t efi_setup_5level_paging(void);13void efi_5level_switch(void);14#else15static inline efi_status_t efi_setup_5level_paging(void) { return EFI_SUCCESS; }16static inline void efi_5level_switch(void) {}17#endif18