arch/x86/include/asm/pti.h

   1 // SPDX-License-Identifier: GPL-2.0
   2 #ifndef _ASM_X86_PTI_H
   3 #define _ASM_X86_PTI_H
   4 #ifndef __ASSEMBLY__
   5
   6 #ifdef CONFIG_PAGE_TABLE_ISOLATION
   7 extern void pti_init(void);
   8 extern void pti_check_boottime_disable(void);
   9 #else
  10 static inline void pti_check_boottime_disable(void) { }
  11 #endif
  12
  13 #endif /* __ASSEMBLY__ */
  14 #endif /* _ASM_X86_PTI_H */