drivers/firmware/efi/libstub/x86-stub.h

   1 /* SPDX-License-Identifier: GPL-2.0-only */
   2
   3 #include <linux/efi.h>
   4
   5 extern struct boot_params *boot_params_pointer asm("boot_params");
   6
   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