| // SPDX-License-Identifier: GPL-2.0 | |
| #ifndef _ASM_X86_PTI_H | |
| #define _ASM_X86_PTI_H | |
| #ifndef __ASSEMBLY__ | |
| #ifdef CONFIG_PAGE_TABLE_ISOLATION | |
| extern void pti_init(void); | |
| extern void pti_check_boottime_disable(void); | |
| extern void pti_clone_kernel_text(void); | |
| #else | |
| static inline void pti_check_boottime_disable(void) { } | |
| static inline void pti_clone_kernel_text(void) { } | |
| #endif | |
| #endif /* __ASSEMBLY__ */ | |
| #endif /* _ASM_X86_PTI_H */ |