| /* 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 |
