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