18c2ecf20Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0 */
28c2ecf20Sopenharmony_ci#ifndef _ASM_X86_PTI_H
38c2ecf20Sopenharmony_ci#define _ASM_X86_PTI_H
48c2ecf20Sopenharmony_ci#ifndef __ASSEMBLY__
58c2ecf20Sopenharmony_ci
68c2ecf20Sopenharmony_ci#ifdef CONFIG_PAGE_TABLE_ISOLATION
78c2ecf20Sopenharmony_ciextern void pti_init(void);
88c2ecf20Sopenharmony_ciextern void pti_check_boottime_disable(void);
98c2ecf20Sopenharmony_ciextern void pti_finalize(void);
108c2ecf20Sopenharmony_ci#else
118c2ecf20Sopenharmony_cistatic inline void pti_check_boottime_disable(void) { }
128c2ecf20Sopenharmony_ci#endif
138c2ecf20Sopenharmony_ci
148c2ecf20Sopenharmony_ci#endif /* __ASSEMBLY__ */
158c2ecf20Sopenharmony_ci#endif /* _ASM_X86_PTI_H */
16