1/* SPDX-License-Identifier: GPL-2.0 */
2#ifndef _ASM_X86_KASAN_H
3#define _ASM_X86_KASAN_H
4
5#include <linux/const.h>
6#define KASAN_SHADOW_OFFSET _AC(CONFIG_KASAN_SHADOW_OFFSET, UL)
7#define KASAN_SHADOW_SCALE_SHIFT 3
8
9/*
10 * Compiler uses shadow offset assuming that addresses start
11 * from 0. Kernel addresses don't start from 0, so shadow
12 * for kernel really starts from compiler's shadow offset +
13 * 'kernel address space start' >> KASAN_SHADOW_SCALE_SHIFT
14 */
15#define KASAN_SHADOW_START (KASAN_SHADOW_OFFSET + \
16 ((-1UL << __VIRTUAL_MASK_SHIFT) >> \
17 KASAN_SHADOW_SCALE_SHIFT))
18/*
19 * 47 bits for kernel address -> (47 - KASAN_SHADOW_SCALE_SHIFT) bits for shadow
20 * 56 bits for kernel address -> (56 - KASAN_SHADOW_SCALE_SHIFT) bits for shadow
21 */
22#define KASAN_SHADOW_END (KASAN_SHADOW_START + \
23 (1ULL << (__VIRTUAL_MASK_SHIFT - \
24 KASAN_SHADOW_SCALE_SHIFT)))
25
26#ifndef __ASSEMBLER__
27
28#ifdef CONFIG_KASAN
29void __init kasan_early_init(void);
30void __init kasan_init(void);
31void __init kasan_populate_shadow_for_vaddr(void *va, size_t size, int nid);
32#else
33static inline void kasan_early_init(void) { }
34static inline void kasan_init(void) { }
35static inline void kasan_populate_shadow_for_vaddr(void *va, size_t size,
36 int nid) { }
37#endif
38
39#endif
40
41#endif
42