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
pti_init(void)8 static inline void pti_init(void) { }
pti_finalize(void)9 static inline void pti_finalize(void) { }
10 #endif
11 
12 #endif
13