Line data    Source code

       1             : /* SPDX-License-Identifier: GPL-2.0 */
       2             : #ifndef _ASM_X86_ESPFIX_H
       3             : #define _ASM_X86_ESPFIX_H
       4             : 
       5             : #ifdef CONFIG_X86_ESPFIX64
       6             : 
       7             : #include <asm/percpu.h>
       8             : 
       9             : DECLARE_PER_CPU_READ_MOSTLY(unsigned long, espfix_stack);
      10             : DECLARE_PER_CPU_READ_MOSTLY(unsigned long, espfix_waddr);
      11             : 
      12             : extern void init_espfix_bsp(void);
      13             : extern void init_espfix_ap(int cpu);
      14             : #else
      15           3 : static inline void init_espfix_ap(int cpu) { }
      16             : #endif
      17             : 
      18             : #endif /* _ASM_X86_ESPFIX_H */