pti.h 240 B

123456789101112
  1. // SPDX-License-Identifier: GPL-2.0
  2. #ifndef _INCLUDE_PTI_H
  3. #define _INCLUDE_PTI_H
  4. #ifdef CONFIG_PAGE_TABLE_ISOLATION
  5. #include <asm/pti.h>
  6. #else
  7. static inline void pti_init(void) { }
  8. static inline void pti_finalize(void) { }
  9. #endif
  10. #endif