162306a36Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0 */
262306a36Sopenharmony_ci#ifndef _ASM_X86_PTI_H
362306a36Sopenharmony_ci#define _ASM_X86_PTI_H
462306a36Sopenharmony_ci#ifndef __ASSEMBLY__
562306a36Sopenharmony_ci
662306a36Sopenharmony_ci#ifdef CONFIG_PAGE_TABLE_ISOLATION
762306a36Sopenharmony_ciextern void pti_init(void);
862306a36Sopenharmony_ciextern void pti_check_boottime_disable(void);
962306a36Sopenharmony_ciextern void pti_finalize(void);
1062306a36Sopenharmony_ci#else
1162306a36Sopenharmony_cistatic inline void pti_check_boottime_disable(void) { }
1262306a36Sopenharmony_ci#endif
1362306a36Sopenharmony_ci
1462306a36Sopenharmony_ci#endif /* __ASSEMBLY__ */
1562306a36Sopenharmony_ci#endif /* _ASM_X86_PTI_H */
16