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 */ 16