17 lines
495 B
C
17 lines
495 B
C
/* SPDX-License-Identifier: GPL-2.0-only */
|
|
|
|
#include <linux/efi.h>
|
|
|
|
extern void trampoline_32bit_src(void *, bool);
|
|
extern const u16 trampoline_ljmp_imm_offset;
|
|
|
|
efi_status_t efi_adjust_memory_range_protection(unsigned long start,
|
|
unsigned long size);
|
|
|
|
#ifdef CONFIG_X86_64
|
|
efi_status_t efi_setup_5level_paging(void);
|
|
void efi_5level_switch(void);
|
|
#else
|
|
static inline efi_status_t efi_setup_5level_paging(void) { return EFI_SUCCESS; }
|
|
static inline void efi_5level_switch(void) {}
|
|
#endif
|