16184488aSNishad Kamdar /* SPDX-License-Identifier: GPL-2.0 */ 2aa8c6248SThomas Gleixner #ifndef _ASM_X86_PTI_H 3aa8c6248SThomas Gleixner #define _ASM_X86_PTI_H 4aa8c6248SThomas Gleixner #ifndef __ASSEMBLY__ 5aa8c6248SThomas Gleixner 6*ea4654e0SBreno Leitao #ifdef CONFIG_MITIGATION_PAGE_TABLE_ISOLATION 7aa8c6248SThomas Gleixner extern void pti_init(void); 8aa8c6248SThomas Gleixner extern void pti_check_boottime_disable(void); 9b976690fSJoerg Roedel extern void pti_finalize(void); 10aa8c6248SThomas Gleixner #else pti_check_boottime_disable(void)11aa8c6248SThomas Gleixnerstatic inline void pti_check_boottime_disable(void) { } 12aa8c6248SThomas Gleixner #endif 13aa8c6248SThomas Gleixner 14aa8c6248SThomas Gleixner #endif /* __ASSEMBLY__ */ 15aa8c6248SThomas Gleixner #endif /* _ASM_X86_PTI_H */ 16