driver core: Add a guard() definition for the device_lock()
[platform/kernel/linux-starfive.git] / include / linux / pti.h
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