Commit | Line | Data |
---|---|---|
6184488a | 1 | /* SPDX-License-Identifier: GPL-2.0 */ |
aa8c6248 TG |
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); | |
b976690f | 9 | extern void pti_finalize(void); |
aa8c6248 TG |
10 | #else |
11 | static inline void pti_check_boottime_disable(void) { } | |
12 | #endif | |
13 | ||
14 | #endif /* __ASSEMBLY__ */ | |
15 | #endif /* _ASM_X86_PTI_H */ |