[thirdparty/kernel/stable.git] / drivers / firmware / efi / libstub / x86-stub.h

/* SPDX-License-Identifier: GPL-2.0-only */

#include <linux/efi.h>

extern struct boot_params *boot_params_pointer asm("boot_params");

extern void trampoline_32bit_src(void *, bool);
extern const u16 trampoline_ljmp_imm_offset;

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