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 extern void pti_finalize(void);
  10 #else
  11 static inline void pti_check_boottime_disable(void) { }
  12 #endif
  13
  14 #endif /* __ASSEMBLY__ */
  15 #endif /* _ASM_X86_PTI_H */