| Thomas Gleixner | aa8c624 | 2017-12-04 15:07:36 +0100 | [diff] [blame] | 1 | // SPDX-License-Identifier: GPL-2.0 |
| 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); |
| Joerg Roedel | b976690 | 2018-07-18 11:41:06 +0200 | [diff] [blame] | 9 | extern void pti_finalize(void); |
| Thomas Gleixner | aa8c624 | 2017-12-04 15:07:36 +0100 | [diff] [blame] | 10 | #else |
| 11 | static inline void pti_check_boottime_disable(void) { } |
| Thomas Gleixner | aa8c624 | 2017-12-04 15:07:36 +0100 | [diff] [blame] | 12 | #endif |
| 13 | |
| 14 | #endif /* __ASSEMBLY__ */ |
| 15 | #endif /* _ASM_X86_PTI_H */ |