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_MITIGATION_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
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.