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