subr_csan.c revision 1.7.4.2 1 1.7.4.2 martin /* $NetBSD: subr_csan.c,v 1.7.4.2 2020/04/13 08:05:04 martin Exp $ */
2 1.7.4.2 martin
3 1.7.4.2 martin /*
4 1.7.4.2 martin * Copyright (c) 2019 The NetBSD Foundation, Inc.
5 1.7.4.2 martin * All rights reserved.
6 1.7.4.2 martin *
7 1.7.4.2 martin * This code is derived from software contributed to The NetBSD Foundation
8 1.7.4.2 martin * by Maxime Villard.
9 1.7.4.2 martin *
10 1.7.4.2 martin * Redistribution and use in source and binary forms, with or without
11 1.7.4.2 martin * modification, are permitted provided that the following conditions
12 1.7.4.2 martin * are met:
13 1.7.4.2 martin * 1. Redistributions of source code must retain the above copyright
14 1.7.4.2 martin * notice, this list of conditions and the following disclaimer.
15 1.7.4.2 martin * 2. Redistributions in binary form must reproduce the above copyright
16 1.7.4.2 martin * notice, this list of conditions and the following disclaimer in the
17 1.7.4.2 martin * documentation and/or other materials provided with the distribution.
18 1.7.4.2 martin *
19 1.7.4.2 martin * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
20 1.7.4.2 martin * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
21 1.7.4.2 martin * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
22 1.7.4.2 martin * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
23 1.7.4.2 martin * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
24 1.7.4.2 martin * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
25 1.7.4.2 martin * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
26 1.7.4.2 martin * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
27 1.7.4.2 martin * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
28 1.7.4.2 martin * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
29 1.7.4.2 martin * POSSIBILITY OF SUCH DAMAGE.
30 1.7.4.2 martin */
31 1.7.4.2 martin
32 1.7.4.2 martin #include <sys/cdefs.h>
33 1.7.4.2 martin __KERNEL_RCSID(0, "$NetBSD: subr_csan.c,v 1.7.4.2 2020/04/13 08:05:04 martin Exp $");
34 1.7.4.2 martin
35 1.7.4.2 martin #include <sys/param.h>
36 1.7.4.2 martin #include <sys/device.h>
37 1.7.4.2 martin #include <sys/kernel.h>
38 1.7.4.2 martin #include <sys/param.h>
39 1.7.4.2 martin #include <sys/conf.h>
40 1.7.4.2 martin #include <sys/systm.h>
41 1.7.4.2 martin #include <sys/types.h>
42 1.7.4.2 martin #include <sys/csan.h>
43 1.7.4.2 martin #include <sys/cpu.h>
44 1.7.4.2 martin
45 1.7.4.2 martin #ifdef KCSAN_PANIC
46 1.7.4.2 martin #define REPORT panic
47 1.7.4.2 martin #else
48 1.7.4.2 martin #define REPORT printf
49 1.7.4.2 martin #endif
50 1.7.4.2 martin
51 1.7.4.2 martin typedef struct {
52 1.7.4.2 martin uintptr_t addr;
53 1.7.4.2 martin uint32_t size;
54 1.7.4.2 martin bool write:1;
55 1.7.4.2 martin bool atomic:1;
56 1.7.4.2 martin uintptr_t pc;
57 1.7.4.2 martin } csan_cell_t;
58 1.7.4.2 martin
59 1.7.4.2 martin typedef struct {
60 1.7.4.2 martin bool inited;
61 1.7.4.2 martin uint32_t cnt;
62 1.7.4.2 martin csan_cell_t cell;
63 1.7.4.2 martin } csan_cpu_t;
64 1.7.4.2 martin
65 1.7.4.2 martin static csan_cpu_t kcsan_cpus[MAXCPUS];
66 1.7.4.2 martin static bool kcsan_enabled __read_mostly;
67 1.7.4.2 martin
68 1.7.4.2 martin #define __RET_ADDR (uintptr_t)__builtin_return_address(0)
69 1.7.4.2 martin
70 1.7.4.2 martin #define KCSAN_NACCESSES 1024
71 1.7.4.2 martin #define KCSAN_DELAY 10 /* 10 microseconds */
72 1.7.4.2 martin
73 1.7.4.2 martin /* -------------------------------------------------------------------------- */
74 1.7.4.2 martin
75 1.7.4.2 martin /* The MD code. */
76 1.7.4.2 martin #include <machine/csan.h>
77 1.7.4.2 martin
78 1.7.4.2 martin /* -------------------------------------------------------------------------- */
79 1.7.4.2 martin
80 1.7.4.2 martin void
81 1.7.4.2 martin kcsan_init(void)
82 1.7.4.2 martin {
83 1.7.4.2 martin kcsan_enabled = true;
84 1.7.4.2 martin }
85 1.7.4.2 martin
86 1.7.4.2 martin void
87 1.7.4.2 martin kcsan_cpu_init(struct cpu_info *ci)
88 1.7.4.2 martin {
89 1.7.4.2 martin kcsan_cpus[cpu_index(ci)].inited = true;
90 1.7.4.2 martin }
91 1.7.4.2 martin
92 1.7.4.2 martin /* -------------------------------------------------------------------------- */
93 1.7.4.2 martin
94 1.7.4.2 martin static inline void
95 1.7.4.2 martin kcsan_report(csan_cell_t *new, cpuid_t newcpu, csan_cell_t *old, cpuid_t oldcpu)
96 1.7.4.2 martin {
97 1.7.4.2 martin const char *newsym, *oldsym;
98 1.7.4.2 martin
99 1.7.4.2 martin if (ksyms_getname(NULL, &newsym, (vaddr_t)new->pc, KSYMS_PROC) != 0) {
100 1.7.4.2 martin newsym = "Unknown";
101 1.7.4.2 martin }
102 1.7.4.2 martin if (ksyms_getname(NULL, &oldsym, (vaddr_t)old->pc, KSYMS_PROC) != 0) {
103 1.7.4.2 martin oldsym = "Unknown";
104 1.7.4.2 martin }
105 1.7.4.2 martin REPORT("CSan: Racy Access "
106 1.7.4.2 martin "[Cpu%lu %s%s Addr=%p Size=%u PC=%p<%s>] "
107 1.7.4.2 martin "[Cpu%lu %s%s Addr=%p Size=%u PC=%p<%s>]\n",
108 1.7.4.2 martin newcpu,
109 1.7.4.2 martin (new->atomic ? "Atomic " : ""), (new->write ? "Write" : "Read"),
110 1.7.4.2 martin (void *)new->addr, new->size, (void *)new->pc, newsym,
111 1.7.4.2 martin oldcpu,
112 1.7.4.2 martin (old->atomic ? "Atomic " : ""), (old->write ? "Write" : "Read"),
113 1.7.4.2 martin (void *)old->addr, old->size, (void *)old->pc, oldsym);
114 1.7.4.2 martin kcsan_md_unwind();
115 1.7.4.2 martin }
116 1.7.4.2 martin
117 1.7.4.2 martin static inline bool
118 1.7.4.2 martin kcsan_access_is_atomic(csan_cell_t *new, csan_cell_t *old)
119 1.7.4.2 martin {
120 1.7.4.2 martin if (new->write && !new->atomic)
121 1.7.4.2 martin return false;
122 1.7.4.2 martin if (old->write && !old->atomic)
123 1.7.4.2 martin return false;
124 1.7.4.2 martin return true;
125 1.7.4.2 martin }
126 1.7.4.2 martin
127 1.7.4.2 martin static inline void
128 1.7.4.2 martin kcsan_access(uintptr_t addr, size_t size, bool write, bool atomic, uintptr_t pc)
129 1.7.4.2 martin {
130 1.7.4.2 martin csan_cell_t old, new;
131 1.7.4.2 martin csan_cpu_t *cpu;
132 1.7.4.2 martin uint64_t intr;
133 1.7.4.2 martin size_t i;
134 1.7.4.2 martin
135 1.7.4.2 martin if (__predict_false(!kcsan_enabled))
136 1.7.4.2 martin return;
137 1.7.4.2 martin if (__predict_false(kcsan_md_unsupported((vaddr_t)addr)))
138 1.7.4.2 martin return;
139 1.7.4.2 martin
140 1.7.4.2 martin new.addr = addr;
141 1.7.4.2 martin new.size = size;
142 1.7.4.2 martin new.write = write;
143 1.7.4.2 martin new.atomic = atomic;
144 1.7.4.2 martin new.pc = pc;
145 1.7.4.2 martin
146 1.7.4.2 martin for (i = 0; i < ncpu; i++) {
147 1.7.4.2 martin __builtin_memcpy(&old, &kcsan_cpus[i].cell, sizeof(old));
148 1.7.4.2 martin
149 1.7.4.2 martin if (old.addr + old.size <= new.addr)
150 1.7.4.2 martin continue;
151 1.7.4.2 martin if (new.addr + new.size <= old.addr)
152 1.7.4.2 martin continue;
153 1.7.4.2 martin if (__predict_true(!old.write && !new.write))
154 1.7.4.2 martin continue;
155 1.7.4.2 martin if (__predict_true(kcsan_access_is_atomic(&new, &old)))
156 1.7.4.2 martin continue;
157 1.7.4.2 martin
158 1.7.4.2 martin kcsan_report(&new, cpu_number(), &old, i);
159 1.7.4.2 martin break;
160 1.7.4.2 martin }
161 1.7.4.2 martin
162 1.7.4.2 martin if (__predict_false(!kcsan_md_is_avail()))
163 1.7.4.2 martin return;
164 1.7.4.2 martin
165 1.7.4.2 martin kcsan_md_disable_intrs(&intr);
166 1.7.4.2 martin
167 1.7.4.2 martin cpu = &kcsan_cpus[cpu_number()];
168 1.7.4.2 martin if (__predict_false(!cpu->inited))
169 1.7.4.2 martin goto out;
170 1.7.4.2 martin cpu->cnt = (cpu->cnt + 1) % KCSAN_NACCESSES;
171 1.7.4.2 martin if (__predict_true(cpu->cnt != 0))
172 1.7.4.2 martin goto out;
173 1.7.4.2 martin
174 1.7.4.2 martin __builtin_memcpy(&cpu->cell, &new, sizeof(new));
175 1.7.4.2 martin kcsan_md_delay(KCSAN_DELAY);
176 1.7.4.2 martin __builtin_memset(&cpu->cell, 0, sizeof(new));
177 1.7.4.2 martin
178 1.7.4.2 martin out:
179 1.7.4.2 martin kcsan_md_enable_intrs(&intr);
180 1.7.4.2 martin }
181 1.7.4.2 martin
182 1.7.4.2 martin #define CSAN_READ(size) \
183 1.7.4.2 martin void __tsan_read##size(uintptr_t); \
184 1.7.4.2 martin void __tsan_read##size(uintptr_t addr) \
185 1.7.4.2 martin { \
186 1.7.4.2 martin kcsan_access(addr, size, false, false, __RET_ADDR); \
187 1.7.4.2 martin }
188 1.7.4.2 martin
189 1.7.4.2 martin CSAN_READ(1)
190 1.7.4.2 martin CSAN_READ(2)
191 1.7.4.2 martin CSAN_READ(4)
192 1.7.4.2 martin CSAN_READ(8)
193 1.7.4.2 martin CSAN_READ(16)
194 1.7.4.2 martin
195 1.7.4.2 martin #define CSAN_WRITE(size) \
196 1.7.4.2 martin void __tsan_write##size(uintptr_t); \
197 1.7.4.2 martin void __tsan_write##size(uintptr_t addr) \
198 1.7.4.2 martin { \
199 1.7.4.2 martin kcsan_access(addr, size, true, false, __RET_ADDR); \
200 1.7.4.2 martin }
201 1.7.4.2 martin
202 1.7.4.2 martin CSAN_WRITE(1)
203 1.7.4.2 martin CSAN_WRITE(2)
204 1.7.4.2 martin CSAN_WRITE(4)
205 1.7.4.2 martin CSAN_WRITE(8)
206 1.7.4.2 martin CSAN_WRITE(16)
207 1.7.4.2 martin
208 1.7.4.2 martin void __tsan_read_range(uintptr_t, size_t);
209 1.7.4.2 martin void __tsan_write_range(uintptr_t, size_t);
210 1.7.4.2 martin
211 1.7.4.2 martin void
212 1.7.4.2 martin __tsan_read_range(uintptr_t addr, size_t size)
213 1.7.4.2 martin {
214 1.7.4.2 martin kcsan_access(addr, size, false, false, __RET_ADDR);
215 1.7.4.2 martin }
216 1.7.4.2 martin
217 1.7.4.2 martin void
218 1.7.4.2 martin __tsan_write_range(uintptr_t addr, size_t size)
219 1.7.4.2 martin {
220 1.7.4.2 martin kcsan_access(addr, size, true, false, __RET_ADDR);
221 1.7.4.2 martin }
222 1.7.4.2 martin
223 1.7.4.2 martin void __tsan_init(void);
224 1.7.4.2 martin void __tsan_func_entry(void *);
225 1.7.4.2 martin void __tsan_func_exit(void);
226 1.7.4.2 martin
227 1.7.4.2 martin void
228 1.7.4.2 martin __tsan_init(void)
229 1.7.4.2 martin {
230 1.7.4.2 martin }
231 1.7.4.2 martin
232 1.7.4.2 martin void
233 1.7.4.2 martin __tsan_func_entry(void *call_pc)
234 1.7.4.2 martin {
235 1.7.4.2 martin }
236 1.7.4.2 martin
237 1.7.4.2 martin void
238 1.7.4.2 martin __tsan_func_exit(void)
239 1.7.4.2 martin {
240 1.7.4.2 martin }
241 1.7.4.2 martin
242 1.7.4.2 martin /* -------------------------------------------------------------------------- */
243 1.7.4.2 martin
244 1.7.4.2 martin void *
245 1.7.4.2 martin kcsan_memcpy(void *dst, const void *src, size_t len)
246 1.7.4.2 martin {
247 1.7.4.2 martin kcsan_access((uintptr_t)src, len, false, false, __RET_ADDR);
248 1.7.4.2 martin kcsan_access((uintptr_t)dst, len, true, false, __RET_ADDR);
249 1.7.4.2 martin return __builtin_memcpy(dst, src, len);
250 1.7.4.2 martin }
251 1.7.4.2 martin
252 1.7.4.2 martin int
253 1.7.4.2 martin kcsan_memcmp(const void *b1, const void *b2, size_t len)
254 1.7.4.2 martin {
255 1.7.4.2 martin kcsan_access((uintptr_t)b1, len, false, false, __RET_ADDR);
256 1.7.4.2 martin kcsan_access((uintptr_t)b2, len, false, false, __RET_ADDR);
257 1.7.4.2 martin return __builtin_memcmp(b1, b2, len);
258 1.7.4.2 martin }
259 1.7.4.2 martin
260 1.7.4.2 martin void *
261 1.7.4.2 martin kcsan_memset(void *b, int c, size_t len)
262 1.7.4.2 martin {
263 1.7.4.2 martin kcsan_access((uintptr_t)b, len, true, false, __RET_ADDR);
264 1.7.4.2 martin return __builtin_memset(b, c, len);
265 1.7.4.2 martin }
266 1.7.4.2 martin
267 1.7.4.2 martin void *
268 1.7.4.2 martin kcsan_memmove(void *dst, const void *src, size_t len)
269 1.7.4.2 martin {
270 1.7.4.2 martin kcsan_access((uintptr_t)src, len, false, false, __RET_ADDR);
271 1.7.4.2 martin kcsan_access((uintptr_t)dst, len, true, false, __RET_ADDR);
272 1.7.4.2 martin return __builtin_memmove(dst, src, len);
273 1.7.4.2 martin }
274 1.7.4.2 martin
275 1.7.4.2 martin char *
276 1.7.4.2 martin kcsan_strcpy(char *dst, const char *src)
277 1.7.4.2 martin {
278 1.7.4.2 martin char *save = dst;
279 1.7.4.2 martin
280 1.7.4.2 martin while (1) {
281 1.7.4.2 martin kcsan_access((uintptr_t)src, 1, false, false, __RET_ADDR);
282 1.7.4.2 martin kcsan_access((uintptr_t)dst, 1, true, false, __RET_ADDR);
283 1.7.4.2 martin *dst = *src;
284 1.7.4.2 martin if (*src == '\0')
285 1.7.4.2 martin break;
286 1.7.4.2 martin src++, dst++;
287 1.7.4.2 martin }
288 1.7.4.2 martin
289 1.7.4.2 martin return save;
290 1.7.4.2 martin }
291 1.7.4.2 martin
292 1.7.4.2 martin int
293 1.7.4.2 martin kcsan_strcmp(const char *s1, const char *s2)
294 1.7.4.2 martin {
295 1.7.4.2 martin while (1) {
296 1.7.4.2 martin kcsan_access((uintptr_t)s1, 1, false, false, __RET_ADDR);
297 1.7.4.2 martin kcsan_access((uintptr_t)s2, 1, false, false, __RET_ADDR);
298 1.7.4.2 martin if (*s1 != *s2)
299 1.7.4.2 martin break;
300 1.7.4.2 martin if (*s1 == '\0')
301 1.7.4.2 martin return 0;
302 1.7.4.2 martin s1++, s2++;
303 1.7.4.2 martin }
304 1.7.4.2 martin
305 1.7.4.2 martin return (*(const unsigned char *)s1 - *(const unsigned char *)s2);
306 1.7.4.2 martin }
307 1.7.4.2 martin
308 1.7.4.2 martin size_t
309 1.7.4.2 martin kcsan_strlen(const char *str)
310 1.7.4.2 martin {
311 1.7.4.2 martin const char *s;
312 1.7.4.2 martin
313 1.7.4.2 martin s = str;
314 1.7.4.2 martin while (1) {
315 1.7.4.2 martin kcsan_access((uintptr_t)s, 1, false, false, __RET_ADDR);
316 1.7.4.2 martin if (*s == '\0')
317 1.7.4.2 martin break;
318 1.7.4.2 martin s++;
319 1.7.4.2 martin }
320 1.7.4.2 martin
321 1.7.4.2 martin return (s - str);
322 1.7.4.2 martin }
323 1.7.4.2 martin
324 1.7.4.2 martin #undef kcopy
325 1.7.4.2 martin #undef copystr
326 1.7.4.2 martin #undef copyinstr
327 1.7.4.2 martin #undef copyoutstr
328 1.7.4.2 martin #undef copyin
329 1.7.4.2 martin #undef copyout
330 1.7.4.2 martin
331 1.7.4.2 martin int kcsan_kcopy(const void *, void *, size_t);
332 1.7.4.2 martin int kcsan_copystr(const void *, void *, size_t, size_t *);
333 1.7.4.2 martin int kcsan_copyinstr(const void *, void *, size_t, size_t *);
334 1.7.4.2 martin int kcsan_copyoutstr(const void *, void *, size_t, size_t *);
335 1.7.4.2 martin int kcsan_copyin(const void *, void *, size_t);
336 1.7.4.2 martin int kcsan_copyout(const void *, void *, size_t);
337 1.7.4.2 martin int kcopy(const void *, void *, size_t);
338 1.7.4.2 martin int copystr(const void *, void *, size_t, size_t *);
339 1.7.4.2 martin int copyinstr(const void *, void *, size_t, size_t *);
340 1.7.4.2 martin int copyoutstr(const void *, void *, size_t, size_t *);
341 1.7.4.2 martin int copyin(const void *, void *, size_t);
342 1.7.4.2 martin int copyout(const void *, void *, size_t);
343 1.7.4.2 martin
344 1.7.4.2 martin int
345 1.7.4.2 martin kcsan_kcopy(const void *src, void *dst, size_t len)
346 1.7.4.2 martin {
347 1.7.4.2 martin kcsan_access((uintptr_t)src, len, false, false, __RET_ADDR);
348 1.7.4.2 martin kcsan_access((uintptr_t)dst, len, true, false, __RET_ADDR);
349 1.7.4.2 martin return kcopy(src, dst, len);
350 1.7.4.2 martin }
351 1.7.4.2 martin
352 1.7.4.2 martin int
353 1.7.4.2 martin kcsan_copystr(const void *kfaddr, void *kdaddr, size_t len, size_t *done)
354 1.7.4.2 martin {
355 1.7.4.2 martin kcsan_access((uintptr_t)kdaddr, len, true, false, __RET_ADDR);
356 1.7.4.2 martin return copystr(kfaddr, kdaddr, len, done);
357 1.7.4.2 martin }
358 1.7.4.2 martin
359 1.7.4.2 martin int
360 1.7.4.2 martin kcsan_copyin(const void *uaddr, void *kaddr, size_t len)
361 1.7.4.2 martin {
362 1.7.4.2 martin kcsan_access((uintptr_t)kaddr, len, true, false, __RET_ADDR);
363 1.7.4.2 martin return copyin(uaddr, kaddr, len);
364 1.7.4.2 martin }
365 1.7.4.2 martin
366 1.7.4.2 martin int
367 1.7.4.2 martin kcsan_copyout(const void *kaddr, void *uaddr, size_t len)
368 1.7.4.2 martin {
369 1.7.4.2 martin kcsan_access((uintptr_t)kaddr, len, false, false, __RET_ADDR);
370 1.7.4.2 martin return copyout(kaddr, uaddr, len);
371 1.7.4.2 martin }
372 1.7.4.2 martin
373 1.7.4.2 martin int
374 1.7.4.2 martin kcsan_copyinstr(const void *uaddr, void *kaddr, size_t len, size_t *done)
375 1.7.4.2 martin {
376 1.7.4.2 martin kcsan_access((uintptr_t)kaddr, len, true, false, __RET_ADDR);
377 1.7.4.2 martin return copyinstr(uaddr, kaddr, len, done);
378 1.7.4.2 martin }
379 1.7.4.2 martin
380 1.7.4.2 martin int
381 1.7.4.2 martin kcsan_copyoutstr(const void *kaddr, void *uaddr, size_t len, size_t *done)
382 1.7.4.2 martin {
383 1.7.4.2 martin kcsan_access((uintptr_t)kaddr, len, false, false, __RET_ADDR);
384 1.7.4.2 martin return copyoutstr(kaddr, uaddr, len, done);
385 1.7.4.2 martin }
386 1.7.4.2 martin
387 1.7.4.2 martin /* -------------------------------------------------------------------------- */
388 1.7.4.2 martin
389 1.7.4.2 martin #undef atomic_add_32
390 1.7.4.2 martin #undef atomic_add_int
391 1.7.4.2 martin #undef atomic_add_long
392 1.7.4.2 martin #undef atomic_add_ptr
393 1.7.4.2 martin #undef atomic_add_64
394 1.7.4.2 martin #undef atomic_add_32_nv
395 1.7.4.2 martin #undef atomic_add_int_nv
396 1.7.4.2 martin #undef atomic_add_long_nv
397 1.7.4.2 martin #undef atomic_add_ptr_nv
398 1.7.4.2 martin #undef atomic_add_64_nv
399 1.7.4.2 martin #undef atomic_and_32
400 1.7.4.2 martin #undef atomic_and_uint
401 1.7.4.2 martin #undef atomic_and_ulong
402 1.7.4.2 martin #undef atomic_and_64
403 1.7.4.2 martin #undef atomic_and_32_nv
404 1.7.4.2 martin #undef atomic_and_uint_nv
405 1.7.4.2 martin #undef atomic_and_ulong_nv
406 1.7.4.2 martin #undef atomic_and_64_nv
407 1.7.4.2 martin #undef atomic_or_32
408 1.7.4.2 martin #undef atomic_or_uint
409 1.7.4.2 martin #undef atomic_or_ulong
410 1.7.4.2 martin #undef atomic_or_64
411 1.7.4.2 martin #undef atomic_or_32_nv
412 1.7.4.2 martin #undef atomic_or_uint_nv
413 1.7.4.2 martin #undef atomic_or_ulong_nv
414 1.7.4.2 martin #undef atomic_or_64_nv
415 1.7.4.2 martin #undef atomic_cas_32
416 1.7.4.2 martin #undef atomic_cas_uint
417 1.7.4.2 martin #undef atomic_cas_ulong
418 1.7.4.2 martin #undef atomic_cas_ptr
419 1.7.4.2 martin #undef atomic_cas_64
420 1.7.4.2 martin #undef atomic_cas_32_ni
421 1.7.4.2 martin #undef atomic_cas_uint_ni
422 1.7.4.2 martin #undef atomic_cas_ulong_ni
423 1.7.4.2 martin #undef atomic_cas_ptr_ni
424 1.7.4.2 martin #undef atomic_cas_64_ni
425 1.7.4.2 martin #undef atomic_swap_32
426 1.7.4.2 martin #undef atomic_swap_uint
427 1.7.4.2 martin #undef atomic_swap_ulong
428 1.7.4.2 martin #undef atomic_swap_ptr
429 1.7.4.2 martin #undef atomic_swap_64
430 1.7.4.2 martin #undef atomic_dec_32
431 1.7.4.2 martin #undef atomic_dec_uint
432 1.7.4.2 martin #undef atomic_dec_ulong
433 1.7.4.2 martin #undef atomic_dec_ptr
434 1.7.4.2 martin #undef atomic_dec_64
435 1.7.4.2 martin #undef atomic_dec_32_nv
436 1.7.4.2 martin #undef atomic_dec_uint_nv
437 1.7.4.2 martin #undef atomic_dec_ulong_nv
438 1.7.4.2 martin #undef atomic_dec_ptr_nv
439 1.7.4.2 martin #undef atomic_dec_64_nv
440 1.7.4.2 martin #undef atomic_inc_32
441 1.7.4.2 martin #undef atomic_inc_uint
442 1.7.4.2 martin #undef atomic_inc_ulong
443 1.7.4.2 martin #undef atomic_inc_ptr
444 1.7.4.2 martin #undef atomic_inc_64
445 1.7.4.2 martin #undef atomic_inc_32_nv
446 1.7.4.2 martin #undef atomic_inc_uint_nv
447 1.7.4.2 martin #undef atomic_inc_ulong_nv
448 1.7.4.2 martin #undef atomic_inc_ptr_nv
449 1.7.4.2 martin #undef atomic_inc_64_nv
450 1.7.4.2 martin
451 1.7.4.2 martin #define CSAN_ATOMIC_FUNC_ADD(name, tret, targ1, targ2) \
452 1.7.4.2 martin void atomic_add_##name(volatile targ1 *, targ2); \
453 1.7.4.2 martin void kcsan_atomic_add_##name(volatile targ1 *, targ2); \
454 1.7.4.2 martin void kcsan_atomic_add_##name(volatile targ1 *ptr, targ2 val) \
455 1.7.4.2 martin { \
456 1.7.4.2 martin kcsan_access((uintptr_t)ptr, sizeof(tret), true, true, \
457 1.7.4.2 martin __RET_ADDR); \
458 1.7.4.2 martin atomic_add_##name(ptr, val); \
459 1.7.4.2 martin } \
460 1.7.4.2 martin tret atomic_add_##name##_nv(volatile targ1 *, targ2); \
461 1.7.4.2 martin tret kcsan_atomic_add_##name##_nv(volatile targ1 *, targ2); \
462 1.7.4.2 martin tret kcsan_atomic_add_##name##_nv(volatile targ1 *ptr, targ2 val) \
463 1.7.4.2 martin { \
464 1.7.4.2 martin kcsan_access((uintptr_t)ptr, sizeof(tret), true, true, \
465 1.7.4.2 martin __RET_ADDR); \
466 1.7.4.2 martin return atomic_add_##name##_nv(ptr, val); \
467 1.7.4.2 martin }
468 1.7.4.2 martin
469 1.7.4.2 martin #define CSAN_ATOMIC_FUNC_AND(name, tret, targ1, targ2) \
470 1.7.4.2 martin void atomic_and_##name(volatile targ1 *, targ2); \
471 1.7.4.2 martin void kcsan_atomic_and_##name(volatile targ1 *, targ2); \
472 1.7.4.2 martin void kcsan_atomic_and_##name(volatile targ1 *ptr, targ2 val) \
473 1.7.4.2 martin { \
474 1.7.4.2 martin kcsan_access((uintptr_t)ptr, sizeof(tret), true, true, \
475 1.7.4.2 martin __RET_ADDR); \
476 1.7.4.2 martin atomic_and_##name(ptr, val); \
477 1.7.4.2 martin } \
478 1.7.4.2 martin tret atomic_and_##name##_nv(volatile targ1 *, targ2); \
479 1.7.4.2 martin tret kcsan_atomic_and_##name##_nv(volatile targ1 *, targ2); \
480 1.7.4.2 martin tret kcsan_atomic_and_##name##_nv(volatile targ1 *ptr, targ2 val) \
481 1.7.4.2 martin { \
482 1.7.4.2 martin kcsan_access((uintptr_t)ptr, sizeof(tret), true, true, \
483 1.7.4.2 martin __RET_ADDR); \
484 1.7.4.2 martin return atomic_and_##name##_nv(ptr, val); \
485 1.7.4.2 martin }
486 1.7.4.2 martin
487 1.7.4.2 martin #define CSAN_ATOMIC_FUNC_OR(name, tret, targ1, targ2) \
488 1.7.4.2 martin void atomic_or_##name(volatile targ1 *, targ2); \
489 1.7.4.2 martin void kcsan_atomic_or_##name(volatile targ1 *, targ2); \
490 1.7.4.2 martin void kcsan_atomic_or_##name(volatile targ1 *ptr, targ2 val) \
491 1.7.4.2 martin { \
492 1.7.4.2 martin kcsan_access((uintptr_t)ptr, sizeof(tret), true, true, \
493 1.7.4.2 martin __RET_ADDR); \
494 1.7.4.2 martin atomic_or_##name(ptr, val); \
495 1.7.4.2 martin } \
496 1.7.4.2 martin tret atomic_or_##name##_nv(volatile targ1 *, targ2); \
497 1.7.4.2 martin tret kcsan_atomic_or_##name##_nv(volatile targ1 *, targ2); \
498 1.7.4.2 martin tret kcsan_atomic_or_##name##_nv(volatile targ1 *ptr, targ2 val) \
499 1.7.4.2 martin { \
500 1.7.4.2 martin kcsan_access((uintptr_t)ptr, sizeof(tret), true, true, \
501 1.7.4.2 martin __RET_ADDR); \
502 1.7.4.2 martin return atomic_or_##name##_nv(ptr, val); \
503 1.7.4.2 martin }
504 1.7.4.2 martin
505 1.7.4.2 martin #define CSAN_ATOMIC_FUNC_CAS(name, tret, targ1, targ2) \
506 1.7.4.2 martin tret atomic_cas_##name(volatile targ1 *, targ2, targ2); \
507 1.7.4.2 martin tret kcsan_atomic_cas_##name(volatile targ1 *, targ2, targ2); \
508 1.7.4.2 martin tret kcsan_atomic_cas_##name(volatile targ1 *ptr, targ2 exp, targ2 new) \
509 1.7.4.2 martin { \
510 1.7.4.2 martin kcsan_access((uintptr_t)ptr, sizeof(tret), true, true, \
511 1.7.4.2 martin __RET_ADDR); \
512 1.7.4.2 martin return atomic_cas_##name(ptr, exp, new); \
513 1.7.4.2 martin } \
514 1.7.4.2 martin tret atomic_cas_##name##_ni(volatile targ1 *, targ2, targ2); \
515 1.7.4.2 martin tret kcsan_atomic_cas_##name##_ni(volatile targ1 *, targ2, targ2); \
516 1.7.4.2 martin tret kcsan_atomic_cas_##name##_ni(volatile targ1 *ptr, targ2 exp, targ2 new) \
517 1.7.4.2 martin { \
518 1.7.4.2 martin kcsan_access((uintptr_t)ptr, sizeof(tret), true, true, \
519 1.7.4.2 martin __RET_ADDR); \
520 1.7.4.2 martin return atomic_cas_##name##_ni(ptr, exp, new); \
521 1.7.4.2 martin }
522 1.7.4.2 martin
523 1.7.4.2 martin #define CSAN_ATOMIC_FUNC_SWAP(name, tret, targ1, targ2) \
524 1.7.4.2 martin tret atomic_swap_##name(volatile targ1 *, targ2); \
525 1.7.4.2 martin tret kcsan_atomic_swap_##name(volatile targ1 *, targ2); \
526 1.7.4.2 martin tret kcsan_atomic_swap_##name(volatile targ1 *ptr, targ2 val) \
527 1.7.4.2 martin { \
528 1.7.4.2 martin kcsan_access((uintptr_t)ptr, sizeof(tret), true, true, \
529 1.7.4.2 martin __RET_ADDR); \
530 1.7.4.2 martin return atomic_swap_##name(ptr, val); \
531 1.7.4.2 martin }
532 1.7.4.2 martin
533 1.7.4.2 martin #define CSAN_ATOMIC_FUNC_DEC(name, tret, targ1) \
534 1.7.4.2 martin void atomic_dec_##name(volatile targ1 *); \
535 1.7.4.2 martin void kcsan_atomic_dec_##name(volatile targ1 *); \
536 1.7.4.2 martin void kcsan_atomic_dec_##name(volatile targ1 *ptr) \
537 1.7.4.2 martin { \
538 1.7.4.2 martin kcsan_access((uintptr_t)ptr, sizeof(tret), true, true, \
539 1.7.4.2 martin __RET_ADDR); \
540 1.7.4.2 martin atomic_dec_##name(ptr); \
541 1.7.4.2 martin } \
542 1.7.4.2 martin tret atomic_dec_##name##_nv(volatile targ1 *); \
543 1.7.4.2 martin tret kcsan_atomic_dec_##name##_nv(volatile targ1 *); \
544 1.7.4.2 martin tret kcsan_atomic_dec_##name##_nv(volatile targ1 *ptr) \
545 1.7.4.2 martin { \
546 1.7.4.2 martin kcsan_access((uintptr_t)ptr, sizeof(tret), true, true, \
547 1.7.4.2 martin __RET_ADDR); \
548 1.7.4.2 martin return atomic_dec_##name##_nv(ptr); \
549 1.7.4.2 martin }
550 1.7.4.2 martin
551 1.7.4.2 martin #define CSAN_ATOMIC_FUNC_INC(name, tret, targ1) \
552 1.7.4.2 martin void atomic_inc_##name(volatile targ1 *); \
553 1.7.4.2 martin void kcsan_atomic_inc_##name(volatile targ1 *); \
554 1.7.4.2 martin void kcsan_atomic_inc_##name(volatile targ1 *ptr) \
555 1.7.4.2 martin { \
556 1.7.4.2 martin kcsan_access((uintptr_t)ptr, sizeof(tret), true, true, \
557 1.7.4.2 martin __RET_ADDR); \
558 1.7.4.2 martin atomic_inc_##name(ptr); \
559 1.7.4.2 martin } \
560 1.7.4.2 martin tret atomic_inc_##name##_nv(volatile targ1 *); \
561 1.7.4.2 martin tret kcsan_atomic_inc_##name##_nv(volatile targ1 *); \
562 1.7.4.2 martin tret kcsan_atomic_inc_##name##_nv(volatile targ1 *ptr) \
563 1.7.4.2 martin { \
564 1.7.4.2 martin kcsan_access((uintptr_t)ptr, sizeof(tret), true, true, \
565 1.7.4.2 martin __RET_ADDR); \
566 1.7.4.2 martin return atomic_inc_##name##_nv(ptr); \
567 1.7.4.2 martin }
568 1.7.4.2 martin
569 1.7.4.2 martin CSAN_ATOMIC_FUNC_ADD(32, uint32_t, uint32_t, int32_t);
570 1.7.4.2 martin CSAN_ATOMIC_FUNC_ADD(64, uint64_t, uint64_t, int64_t);
571 1.7.4.2 martin CSAN_ATOMIC_FUNC_ADD(int, unsigned int, unsigned int, int);
572 1.7.4.2 martin CSAN_ATOMIC_FUNC_ADD(long, unsigned long, unsigned long, long);
573 1.7.4.2 martin CSAN_ATOMIC_FUNC_ADD(ptr, void *, void, ssize_t);
574 1.7.4.2 martin
575 1.7.4.2 martin CSAN_ATOMIC_FUNC_AND(32, uint32_t, uint32_t, uint32_t);
576 1.7.4.2 martin CSAN_ATOMIC_FUNC_AND(64, uint64_t, uint64_t, uint64_t);
577 1.7.4.2 martin CSAN_ATOMIC_FUNC_AND(uint, unsigned int, unsigned int, unsigned int);
578 1.7.4.2 martin CSAN_ATOMIC_FUNC_AND(ulong, unsigned long, unsigned long, unsigned long);
579 1.7.4.2 martin
580 1.7.4.2 martin CSAN_ATOMIC_FUNC_OR(32, uint32_t, uint32_t, uint32_t);
581 1.7.4.2 martin CSAN_ATOMIC_FUNC_OR(64, uint64_t, uint64_t, uint64_t);
582 1.7.4.2 martin CSAN_ATOMIC_FUNC_OR(uint, unsigned int, unsigned int, unsigned int);
583 1.7.4.2 martin CSAN_ATOMIC_FUNC_OR(ulong, unsigned long, unsigned long, unsigned long);
584 1.7.4.2 martin
585 1.7.4.2 martin CSAN_ATOMIC_FUNC_CAS(32, uint32_t, uint32_t, uint32_t);
586 1.7.4.2 martin CSAN_ATOMIC_FUNC_CAS(64, uint64_t, uint64_t, uint64_t);
587 1.7.4.2 martin CSAN_ATOMIC_FUNC_CAS(uint, unsigned int, unsigned int, unsigned int);
588 1.7.4.2 martin CSAN_ATOMIC_FUNC_CAS(ulong, unsigned long, unsigned long, unsigned long);
589 1.7.4.2 martin CSAN_ATOMIC_FUNC_CAS(ptr, void *, void, void *);
590 1.7.4.2 martin
591 1.7.4.2 martin CSAN_ATOMIC_FUNC_SWAP(32, uint32_t, uint32_t, uint32_t);
592 1.7.4.2 martin CSAN_ATOMIC_FUNC_SWAP(64, uint64_t, uint64_t, uint64_t);
593 1.7.4.2 martin CSAN_ATOMIC_FUNC_SWAP(uint, unsigned int, unsigned int, unsigned int);
594 1.7.4.2 martin CSAN_ATOMIC_FUNC_SWAP(ulong, unsigned long, unsigned long, unsigned long);
595 1.7.4.2 martin CSAN_ATOMIC_FUNC_SWAP(ptr, void *, void, void *);
596 1.7.4.2 martin
597 1.7.4.2 martin CSAN_ATOMIC_FUNC_DEC(32, uint32_t, uint32_t)
598 1.7.4.2 martin CSAN_ATOMIC_FUNC_DEC(64, uint64_t, uint64_t)
599 1.7.4.2 martin CSAN_ATOMIC_FUNC_DEC(uint, unsigned int, unsigned int);
600 1.7.4.2 martin CSAN_ATOMIC_FUNC_DEC(ulong, unsigned long, unsigned long);
601 1.7.4.2 martin CSAN_ATOMIC_FUNC_DEC(ptr, void *, void);
602 1.7.4.2 martin
603 1.7.4.2 martin CSAN_ATOMIC_FUNC_INC(32, uint32_t, uint32_t)
604 1.7.4.2 martin CSAN_ATOMIC_FUNC_INC(64, uint64_t, uint64_t)
605 1.7.4.2 martin CSAN_ATOMIC_FUNC_INC(uint, unsigned int, unsigned int);
606 1.7.4.2 martin CSAN_ATOMIC_FUNC_INC(ulong, unsigned long, unsigned long);
607 1.7.4.2 martin CSAN_ATOMIC_FUNC_INC(ptr, void *, void);
608 1.7.4.2 martin
609 1.7.4.2 martin /*
610 1.7.4.2 martin * TODO: these two functions should qualify as atomic accesses. However
611 1.7.4.2 martin * for now we just whitelist them, to reduce the output.
612 1.7.4.2 martin */
613 1.7.4.2 martin
614 1.7.4.2 martin void
615 1.7.4.2 martin kcsan_atomic_load(const volatile void *p, void *v, int size)
616 1.7.4.2 martin {
617 1.7.4.2 martin switch (size) {
618 1.7.4.2 martin case 1: *(uint8_t *)v = *(const volatile uint8_t *)p; break;
619 1.7.4.2 martin case 2: *(uint16_t *)v = *(const volatile uint16_t *)p; break;
620 1.7.4.2 martin case 4: *(uint32_t *)v = *(const volatile uint32_t *)p; break;
621 1.7.4.2 martin case 8: *(uint64_t *)v = *(const volatile uint64_t *)p; break;
622 1.7.4.2 martin }
623 1.7.4.2 martin }
624 1.7.4.2 martin
625 1.7.4.2 martin void
626 1.7.4.2 martin kcsan_atomic_store(volatile void *p, const void *v, int size)
627 1.7.4.2 martin {
628 1.7.4.2 martin switch (size) {
629 1.7.4.2 martin case 1: *(volatile uint8_t *)p = *(const uint8_t *)v; break;
630 1.7.4.2 martin case 2: *(volatile uint16_t *)p = *(const uint16_t *)v; break;
631 1.7.4.2 martin case 4: *(volatile uint32_t *)p = *(const uint32_t *)v; break;
632 1.7.4.2 martin case 8: *(volatile uint64_t *)p = *(const uint64_t *)v; break;
633 1.7.4.2 martin }
634 1.7.4.2 martin }
635 1.7.4.2 martin
636 1.7.4.2 martin /* -------------------------------------------------------------------------- */
637 1.7.4.2 martin
638 1.7.4.2 martin #include <sys/bus.h>
639 1.7.4.2 martin
640 1.7.4.2 martin #undef bus_space_read_multi_1
641 1.7.4.2 martin #undef bus_space_read_multi_2
642 1.7.4.2 martin #undef bus_space_read_multi_4
643 1.7.4.2 martin #undef bus_space_read_multi_8
644 1.7.4.2 martin #undef bus_space_read_multi_stream_1
645 1.7.4.2 martin #undef bus_space_read_multi_stream_2
646 1.7.4.2 martin #undef bus_space_read_multi_stream_4
647 1.7.4.2 martin #undef bus_space_read_multi_stream_8
648 1.7.4.2 martin #undef bus_space_read_region_1
649 1.7.4.2 martin #undef bus_space_read_region_2
650 1.7.4.2 martin #undef bus_space_read_region_4
651 1.7.4.2 martin #undef bus_space_read_region_8
652 1.7.4.2 martin #undef bus_space_read_region_stream_1
653 1.7.4.2 martin #undef bus_space_read_region_stream_2
654 1.7.4.2 martin #undef bus_space_read_region_stream_4
655 1.7.4.2 martin #undef bus_space_read_region_stream_8
656 1.7.4.2 martin #undef bus_space_write_multi_1
657 1.7.4.2 martin #undef bus_space_write_multi_2
658 1.7.4.2 martin #undef bus_space_write_multi_4
659 1.7.4.2 martin #undef bus_space_write_multi_8
660 1.7.4.2 martin #undef bus_space_write_multi_stream_1
661 1.7.4.2 martin #undef bus_space_write_multi_stream_2
662 1.7.4.2 martin #undef bus_space_write_multi_stream_4
663 1.7.4.2 martin #undef bus_space_write_multi_stream_8
664 1.7.4.2 martin #undef bus_space_write_region_1
665 1.7.4.2 martin #undef bus_space_write_region_2
666 1.7.4.2 martin #undef bus_space_write_region_4
667 1.7.4.2 martin #undef bus_space_write_region_8
668 1.7.4.2 martin #undef bus_space_write_region_stream_1
669 1.7.4.2 martin #undef bus_space_write_region_stream_2
670 1.7.4.2 martin #undef bus_space_write_region_stream_4
671 1.7.4.2 martin #undef bus_space_write_region_stream_8
672 1.7.4.2 martin
673 1.7.4.2 martin #define CSAN_BUS_READ_FUNC(bytes, bits) \
674 1.7.4.2 martin void bus_space_read_multi_##bytes(bus_space_tag_t, bus_space_handle_t, \
675 1.7.4.2 martin bus_size_t, uint##bits##_t *, bus_size_t); \
676 1.7.4.2 martin void kcsan_bus_space_read_multi_##bytes(bus_space_tag_t, \
677 1.7.4.2 martin bus_space_handle_t, bus_size_t, uint##bits##_t *, bus_size_t); \
678 1.7.4.2 martin void kcsan_bus_space_read_multi_##bytes(bus_space_tag_t tag, \
679 1.7.4.2 martin bus_space_handle_t hnd, bus_size_t size, uint##bits##_t *buf, \
680 1.7.4.2 martin bus_size_t count) \
681 1.7.4.2 martin { \
682 1.7.4.2 martin kcsan_access((uintptr_t)buf, sizeof(uint##bits##_t) * count, \
683 1.7.4.2 martin false, false, __RET_ADDR); \
684 1.7.4.2 martin bus_space_read_multi_##bytes(tag, hnd, size, buf, count); \
685 1.7.4.2 martin } \
686 1.7.4.2 martin void bus_space_read_multi_stream_##bytes(bus_space_tag_t, \
687 1.7.4.2 martin bus_space_handle_t, bus_size_t, uint##bits##_t *, bus_size_t); \
688 1.7.4.2 martin void kcsan_bus_space_read_multi_stream_##bytes(bus_space_tag_t, \
689 1.7.4.2 martin bus_space_handle_t, bus_size_t, uint##bits##_t *, bus_size_t); \
690 1.7.4.2 martin void kcsan_bus_space_read_multi_stream_##bytes(bus_space_tag_t tag, \
691 1.7.4.2 martin bus_space_handle_t hnd, bus_size_t size, uint##bits##_t *buf, \
692 1.7.4.2 martin bus_size_t count) \
693 1.7.4.2 martin { \
694 1.7.4.2 martin kcsan_access((uintptr_t)buf, sizeof(uint##bits##_t) * count, \
695 1.7.4.2 martin false, false, __RET_ADDR); \
696 1.7.4.2 martin bus_space_read_multi_stream_##bytes(tag, hnd, size, buf, count);\
697 1.7.4.2 martin } \
698 1.7.4.2 martin void bus_space_read_region_##bytes(bus_space_tag_t, bus_space_handle_t, \
699 1.7.4.2 martin bus_size_t, uint##bits##_t *, bus_size_t); \
700 1.7.4.2 martin void kcsan_bus_space_read_region_##bytes(bus_space_tag_t, \
701 1.7.4.2 martin bus_space_handle_t, bus_size_t, uint##bits##_t *, bus_size_t); \
702 1.7.4.2 martin void kcsan_bus_space_read_region_##bytes(bus_space_tag_t tag, \
703 1.7.4.2 martin bus_space_handle_t hnd, bus_size_t size, uint##bits##_t *buf, \
704 1.7.4.2 martin bus_size_t count) \
705 1.7.4.2 martin { \
706 1.7.4.2 martin kcsan_access((uintptr_t)buf, sizeof(uint##bits##_t) * count, \
707 1.7.4.2 martin false, false, __RET_ADDR); \
708 1.7.4.2 martin bus_space_read_region_##bytes(tag, hnd, size, buf, count); \
709 1.7.4.2 martin } \
710 1.7.4.2 martin void bus_space_read_region_stream_##bytes(bus_space_tag_t, \
711 1.7.4.2 martin bus_space_handle_t, bus_size_t, uint##bits##_t *, bus_size_t); \
712 1.7.4.2 martin void kcsan_bus_space_read_region_stream_##bytes(bus_space_tag_t, \
713 1.7.4.2 martin bus_space_handle_t, bus_size_t, uint##bits##_t *, bus_size_t); \
714 1.7.4.2 martin void kcsan_bus_space_read_region_stream_##bytes(bus_space_tag_t tag, \
715 1.7.4.2 martin bus_space_handle_t hnd, bus_size_t size, uint##bits##_t *buf, \
716 1.7.4.2 martin bus_size_t count) \
717 1.7.4.2 martin { \
718 1.7.4.2 martin kcsan_access((uintptr_t)buf, sizeof(uint##bits##_t) * count, \
719 1.7.4.2 martin false, false, __RET_ADDR); \
720 1.7.4.2 martin bus_space_read_region_stream_##bytes(tag, hnd, size, buf, count);\
721 1.7.4.2 martin }
722 1.7.4.2 martin
723 1.7.4.2 martin #define CSAN_BUS_WRITE_FUNC(bytes, bits) \
724 1.7.4.2 martin void bus_space_write_multi_##bytes(bus_space_tag_t, bus_space_handle_t, \
725 1.7.4.2 martin bus_size_t, const uint##bits##_t *, bus_size_t); \
726 1.7.4.2 martin void kcsan_bus_space_write_multi_##bytes(bus_space_tag_t, \
727 1.7.4.2 martin bus_space_handle_t, bus_size_t, const uint##bits##_t *, bus_size_t);\
728 1.7.4.2 martin void kcsan_bus_space_write_multi_##bytes(bus_space_tag_t tag, \
729 1.7.4.2 martin bus_space_handle_t hnd, bus_size_t size, const uint##bits##_t *buf, \
730 1.7.4.2 martin bus_size_t count) \
731 1.7.4.2 martin { \
732 1.7.4.2 martin kcsan_access((uintptr_t)buf, sizeof(uint##bits##_t) * count, \
733 1.7.4.2 martin true, false, __RET_ADDR); \
734 1.7.4.2 martin bus_space_write_multi_##bytes(tag, hnd, size, buf, count); \
735 1.7.4.2 martin } \
736 1.7.4.2 martin void bus_space_write_multi_stream_##bytes(bus_space_tag_t, \
737 1.7.4.2 martin bus_space_handle_t, bus_size_t, const uint##bits##_t *, bus_size_t);\
738 1.7.4.2 martin void kcsan_bus_space_write_multi_stream_##bytes(bus_space_tag_t, \
739 1.7.4.2 martin bus_space_handle_t, bus_size_t, const uint##bits##_t *, bus_size_t);\
740 1.7.4.2 martin void kcsan_bus_space_write_multi_stream_##bytes(bus_space_tag_t tag, \
741 1.7.4.2 martin bus_space_handle_t hnd, bus_size_t size, const uint##bits##_t *buf, \
742 1.7.4.2 martin bus_size_t count) \
743 1.7.4.2 martin { \
744 1.7.4.2 martin kcsan_access((uintptr_t)buf, sizeof(uint##bits##_t) * count, \
745 1.7.4.2 martin true, false, __RET_ADDR); \
746 1.7.4.2 martin bus_space_write_multi_stream_##bytes(tag, hnd, size, buf, count);\
747 1.7.4.2 martin } \
748 1.7.4.2 martin void bus_space_write_region_##bytes(bus_space_tag_t, bus_space_handle_t,\
749 1.7.4.2 martin bus_size_t, const uint##bits##_t *, bus_size_t); \
750 1.7.4.2 martin void kcsan_bus_space_write_region_##bytes(bus_space_tag_t, \
751 1.7.4.2 martin bus_space_handle_t, bus_size_t, const uint##bits##_t *, bus_size_t);\
752 1.7.4.2 martin void kcsan_bus_space_write_region_##bytes(bus_space_tag_t tag, \
753 1.7.4.2 martin bus_space_handle_t hnd, bus_size_t size, const uint##bits##_t *buf, \
754 1.7.4.2 martin bus_size_t count) \
755 1.7.4.2 martin { \
756 1.7.4.2 martin kcsan_access((uintptr_t)buf, sizeof(uint##bits##_t) * count, \
757 1.7.4.2 martin true, false, __RET_ADDR); \
758 1.7.4.2 martin bus_space_write_region_##bytes(tag, hnd, size, buf, count); \
759 1.7.4.2 martin } \
760 1.7.4.2 martin void bus_space_write_region_stream_##bytes(bus_space_tag_t, \
761 1.7.4.2 martin bus_space_handle_t, bus_size_t, const uint##bits##_t *, bus_size_t);\
762 1.7.4.2 martin void kcsan_bus_space_write_region_stream_##bytes(bus_space_tag_t, \
763 1.7.4.2 martin bus_space_handle_t, bus_size_t, const uint##bits##_t *, bus_size_t);\
764 1.7.4.2 martin void kcsan_bus_space_write_region_stream_##bytes(bus_space_tag_t tag, \
765 1.7.4.2 martin bus_space_handle_t hnd, bus_size_t size, const uint##bits##_t *buf, \
766 1.7.4.2 martin bus_size_t count) \
767 1.7.4.2 martin { \
768 1.7.4.2 martin kcsan_access((uintptr_t)buf, sizeof(uint##bits##_t) * count, \
769 1.7.4.2 martin true, false, __RET_ADDR); \
770 1.7.4.2 martin bus_space_write_region_stream_##bytes(tag, hnd, size, buf, count);\
771 1.7.4.2 martin }
772 1.7.4.2 martin
773 1.7.4.2 martin CSAN_BUS_READ_FUNC(1, 8)
774 1.7.4.2 martin CSAN_BUS_READ_FUNC(2, 16)
775 1.7.4.2 martin CSAN_BUS_READ_FUNC(4, 32)
776 1.7.4.2 martin CSAN_BUS_READ_FUNC(8, 64)
777 1.7.4.2 martin
778 1.7.4.2 martin CSAN_BUS_WRITE_FUNC(1, 8)
779 1.7.4.2 martin CSAN_BUS_WRITE_FUNC(2, 16)
780 1.7.4.2 martin CSAN_BUS_WRITE_FUNC(4, 32)
781 1.7.4.2 martin CSAN_BUS_WRITE_FUNC(8, 64)
782