--- arch/x86/include/asm/trampoline.h

+++ arch/x86/include/asm/trampoline.h

@@ -13,15 +13,18 @@ extern unsigned char *trampoline_base;

extern unsigned long init_rsp;

extern unsigned long initial_code;

+extern unsigned long initial_page_table;

extern unsigned long initial_gs;

#define TRAMPOLINE_SIZE roundup(trampoline_end - trampoline_data, PAGE_SIZE)

#define TRAMPOLINE_BASE 0x6000

extern unsigned long setup_trampoline(void);

+extern void __init setup_trampoline_page_table(void);

extern void __init reserve_trampoline_memory(void);

#else

-static inline void reserve_trampoline_memory(void) {};

+static inline void setup_trampoline_page_table(void) {}

+static inline void reserve_trampoline_memory(void) {}

#endif /* CONFIG_X86_TRAMPOLINE */

#endif /* __ASSEMBLY__ */