1 /* SPDX-License-Identifier: GPL-2.0 */ 1
2 /*
3 * x86 KMSAN support.
4 *
5 * Copyright (C) 2022, Google LLC
6 * Author: Alexander Potapenko <glider@google.
7 */
8
9 #ifndef _ASM_X86_KMSAN_H
10 #define _ASM_X86_KMSAN_H
11
12 #ifndef MODULE
13
14 #include <asm/cpu_entry_area.h>
15 #include <asm/processor.h>
16 #include <linux/mmzone.h>
17
18 DECLARE_PER_CPU(char[CPU_ENTRY_AREA_SIZE], cpu
19 DECLARE_PER_CPU(char[CPU_ENTRY_AREA_SIZE], cpu
20
21 /*
22 * Functions below are declared in the header
23 * They all are called from kmsan_get_metadata
24 * the kernel, so speed is important here.
25 */
26
27 /*
28 * Compute metadata addresses for the CPU entr
29 */
30 static inline void *arch_kmsan_get_meta_or_nul
31 {
32 unsigned long addr64 = (unsigned long)
33 char *metadata_array;
34 unsigned long off;
35 int cpu;
36
37 if ((addr64 < CPU_ENTRY_AREA_BASE) ||
38 (addr64 >= (CPU_ENTRY_AREA_BASE +
39 return NULL;
40 cpu = (addr64 - CPU_ENTRY_AREA_BASE) /
41 off = addr64 - (unsigned long)get_cpu_
42 if ((off < 0) || (off >= CPU_ENTRY_ARE
43 return NULL;
44 metadata_array = is_origin ? cpu_entry
45 cpu_entry
46 return &per_cpu(metadata_array[off], c
47 }
48
49 /*
50 * Taken from arch/x86/mm/physaddr.h to avoid
51 */
52 static inline bool kmsan_phys_addr_valid(unsig
53 {
54 if (IS_ENABLED(CONFIG_PHYS_ADDR_T_64BI
55 return !(addr >> boot_cpu_data
56 else
57 return true;
58 }
59
60 /*
61 * Taken from arch/x86/mm/physaddr.c to avoid
62 */
63 static inline bool kmsan_virt_addr_valid(void
64 {
65 unsigned long x = (unsigned long)addr;
66 unsigned long y = x - __START_KERNEL_m
67 bool ret;
68
69 /* use the carry flag to determine if
70 if (unlikely(x > y)) {
71 x = y + phys_base;
72
73 if (y >= KERNEL_IMAGE_SIZE)
74 return false;
75 } else {
76 x = y + (__START_KERNEL_map -
77
78 /* carry flag will be set if s
79 if ((x > y) || !kmsan_phys_add
80 return false;
81 }
82
83 /*
84 * pfn_valid() relies on RCU, and may
85 * the critical section. However, this
86 * KMSAN. Therefore, disable preemptio
87 * below while suppressing reschedules
88 *
89 * Note, this sacrifices occasionally
90 * Although, a kernel compiled with KM
91 * performance guarantees due to being
92 */
93 preempt_disable();
94 ret = pfn_valid(x >> PAGE_SHIFT);
95 preempt_enable_no_resched();
96
97 return ret;
98 }
99
100 #endif /* !MODULE */
101
102 #endif /* _ASM_X86_KMSAN_H */
103
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.