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