1 /* SPDX-License-Identifier: GPL-2.0 */
7 #define KASAN_SHADOW_SCALE_SHIFT 3
8 #ifdef CONFIG_KASAN_S390_4_LEVEL_PAGING
9 #define KASAN_SHADOW_SIZE \
10 (_AC(1, UL) << (_REGION1_SHIFT - KASAN_SHADOW_SCALE_SHIFT))
12 #define KASAN_SHADOW_SIZE \
13 (_AC(1, UL) << (_REGION2_SHIFT - KASAN_SHADOW_SCALE_SHIFT))
15 #define KASAN_SHADOW_OFFSET _AC(CONFIG_KASAN_SHADOW_OFFSET, UL)
16 #define KASAN_SHADOW_START KASAN_SHADOW_OFFSET
17 #define KASAN_SHADOW_END (KASAN_SHADOW_START + KASAN_SHADOW_SIZE)
19 extern void kasan_early_init(void);
20 extern void kasan_copy_shadow(pgd_t *dst);
21 extern void kasan_free_early_identity(void);
23 static inline void kasan_early_init(void) { }
24 static inline void kasan_copy_shadow(pgd_t *dst) { }
25 static inline void kasan_free_early_identity(void) { }