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