/* SPDX-License-Identifier: GPL-2.0 */
|
#ifndef __ASM_KASAN_H
|
#define __ASM_KASAN_H
|
|
#ifdef CONFIG_KASAN
|
|
#define KASAN_SHADOW_SCALE_SHIFT 3
|
#ifdef CONFIG_KASAN_S390_4_LEVEL_PAGING
|
#define KASAN_SHADOW_SIZE \
|
(_AC(1, UL) << (_REGION1_SHIFT - KASAN_SHADOW_SCALE_SHIFT))
|
#else
|
#define KASAN_SHADOW_SIZE \
|
(_AC(1, UL) << (_REGION2_SHIFT - KASAN_SHADOW_SCALE_SHIFT))
|
#endif
|
#define KASAN_SHADOW_OFFSET _AC(CONFIG_KASAN_SHADOW_OFFSET, UL)
|
#define KASAN_SHADOW_START KASAN_SHADOW_OFFSET
|
#define KASAN_SHADOW_END (KASAN_SHADOW_START + KASAN_SHADOW_SIZE)
|
|
extern void kasan_early_init(void);
|
extern void kasan_copy_shadow(pgd_t *dst);
|
extern void kasan_free_early_identity(void);
|
extern unsigned long kasan_vmax;
|
#else
|
static inline void kasan_early_init(void) { }
|
static inline void kasan_copy_shadow(pgd_t *dst) { }
|
static inline void kasan_free_early_identity(void) { }
|
#endif
|
|
#endif
|
