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 |
13 |