pti.h

 1// SPDX-License-Identifier: GPL-2.0
 2#ifndef _INCLUDE_PTI_H
 3#define _INCLUDE_PTI_H
 4
 5#ifdef CONFIG_MITIGATION_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