1 // SPDX-License-Identifier: GPL-2.0
2 #ifndef _INCLUDE_PTI_H
3 #define _INCLUDE_PTI_H
4
5 #ifdef CONFIG_MITIGATION_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
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.