|
@@ -22,8 +22,8 @@ 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) {};
|
|
|
-extern void __init setup_trampoline_page_table(void) {};
|
|
|
+static inline void setup_trampoline_page_table(void) {}
|
|
|
+static inline void reserve_trampoline_memory(void) {}
|
|
|
#endif /* CONFIG_X86_TRAMPOLINE */
|
|
|
|
|
|
#endif /* __ASSEMBLY__ */
|