1aa8c6248SThomas Gleixner // SPDX-License-Identifier: GPL-2.0 2aa8c6248SThomas Gleixner #ifndef _INCLUDE_PTI_H 3aa8c6248SThomas Gleixner #define _INCLUDE_PTI_H 4aa8c6248SThomas Gleixner 5*ea4654e0SBreno Leitao #ifdef CONFIG_MITIGATION_PAGE_TABLE_ISOLATION 6aa8c6248SThomas Gleixner #include <asm/pti.h> 7aa8c6248SThomas Gleixner #else pti_init(void)8aa8c6248SThomas Gleixnerstatic inline void pti_init(void) { } pti_finalize(void)9b976690fSJoerg Roedelstatic inline void pti_finalize(void) { } 10aa8c6248SThomas Gleixner #endif 11aa8c6248SThomas Gleixner 12aa8c6248SThomas Gleixner #endif 13