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 __ASSEMBLY__ |
27 | |
28 | #ifdef CONFIG_KASAN |
29 | void __init kasan_early_init(void); |
30 | void __init kasan_init(void); |
31 | void __init kasan_populate_shadow_for_vaddr(void *va, size_t size, int nid); |
32 | #else |
33 | static inline void kasan_early_init(void) { } |
34 | static inline void kasan_init(void) { } |
35 | static inline void kasan_populate_shadow_for_vaddr(void *va, size_t size, |
36 | int nid) { } |
37 | #endif |
38 | |
39 | #endif |
40 | |
41 | #endif |
42 | |