Line data    Source code

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