]>
Commit | Line | Data |
---|---|---|
aa8c6248 TG |
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 | |
10 | static inline void pti_check_boottime_disable(void) { } | |
11 | #endif | |
12 | ||
13 | #endif /* __ASSEMBLY__ */ | |
14 | #endif /* _ASM_X86_PTI_H */ |