Line data Source code
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 1 : static inline void pti_check_boottime_disable(void) { } 12 : #endif 13 : 14 : #endif /* __ASSEMBLY__ */ 15 : #endif /* _ASM_X86_PTI_H */