| 1 | // SPDX-License-Identifier: GPL-2.0 |
| 2 | #ifndef _INCLUDE_PTI_H |
| 3 | #define _INCLUDE_PTI_H |
| 4 | |
| 5 | #ifdef CONFIG_PAGE_TABLE_ISOLATION |
| 6 | #include <asm/pti.h> |
| 7 | #else |
| 8 | static inline void pti_init(void) { } |
| 9 | static inline void pti_finalize(void) { } |
| 10 | #endif |
| 11 | |
| 12 | #endif |