![]() |
|
|||
0001 /* SPDX-License-Identifier: GPL-2.0 */ 0002 #ifndef _ASM_X86_PTI_H 0003 #define _ASM_X86_PTI_H 0004 #ifndef __ASSEMBLY__ 0005 0006 #ifdef CONFIG_PAGE_TABLE_ISOLATION 0007 extern void pti_init(void); 0008 extern void pti_check_boottime_disable(void); 0009 extern void pti_finalize(void); 0010 #else 0011 static inline void pti_check_boottime_disable(void) { } 0012 #endif 0013 0014 #endif /* __ASSEMBLY__ */ 0015 #endif /* _ASM_X86_PTI_H */
[ Source navigation ] | [ Diff markup ] | [ Identifier search ] | [ general search ] |
This page was automatically generated by the 2.1.0 LXR engine. The LXR team |
![]() ![]() |