#ifndef _INCLUDE_KAISER_H
#define _INCLUDE_KAISER_H
#ifdef CONFIG_PAGE_TABLE_ISOLATION
#include <asm/kaiser.h>
#else
#ifndef __ASSEMBLY__
/*
* These stubs are used whenever CONFIG_PAGE_TABLE_ISOLATION is off, which
* includes architectures that support page table isolation, but have it
* disabled.
*/
static inline void kaiser_init(void)
{
}
static inline void kaiser_remove_mapping(unsigned long start, unsigned long size)
{
}
static inline int kaiser_add_mapping(unsigned long addr, unsigned long size,
unsigned long flags)
{
return 0;
}
static inline bool kaiser_active(void)
{
return 0;
}
#endif /* __ASSEMBLY__ */
#endif /* !CONFIG_PAGE_TABLE_ISOLATION */
#endif /* _INCLUDE_KAISER_H */
|