xref: /freebsd/sys/kern/subr_csan.c (revision ca0ec73c11a7bb9ed409466e514fa5c34b6c84b5)
10cb53570SAndrew Turner /*	$NetBSD: subr_csan.c,v 1.5 2019/11/15 08:11:37 maxv Exp $	*/
20cb53570SAndrew Turner 
30cb53570SAndrew Turner /*
40cb53570SAndrew Turner  * Copyright (c) 2019 The NetBSD Foundation, Inc.
50cb53570SAndrew Turner  * All rights reserved.
6849aef49SAndrew Turner  * Copyright (c) 2019 Andrew Turner
70cb53570SAndrew Turner  *
80cb53570SAndrew Turner  * This code is derived from software contributed to The NetBSD Foundation
90cb53570SAndrew Turner  * by Maxime Villard.
100cb53570SAndrew Turner  *
110cb53570SAndrew Turner  * Redistribution and use in source and binary forms, with or without
120cb53570SAndrew Turner  * modification, are permitted provided that the following conditions
130cb53570SAndrew Turner  * are met:
140cb53570SAndrew Turner  * 1. Redistributions of source code must retain the above copyright
150cb53570SAndrew Turner  *    notice, this list of conditions and the following disclaimer.
160cb53570SAndrew Turner  * 2. Redistributions in binary form must reproduce the above copyright
170cb53570SAndrew Turner  *    notice, this list of conditions and the following disclaimer in the
180cb53570SAndrew Turner  *    documentation and/or other materials provided with the distribution.
190cb53570SAndrew Turner  *
200cb53570SAndrew Turner  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
210cb53570SAndrew Turner  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
220cb53570SAndrew Turner  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
230cb53570SAndrew Turner  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
240cb53570SAndrew Turner  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
250cb53570SAndrew Turner  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
260cb53570SAndrew Turner  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
270cb53570SAndrew Turner  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
280cb53570SAndrew Turner  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
290cb53570SAndrew Turner  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
300cb53570SAndrew Turner  * POSSIBILITY OF SUCH DAMAGE.
310cb53570SAndrew Turner  */
320cb53570SAndrew Turner 
33849aef49SAndrew Turner #define	KCSAN_RUNTIME
34849aef49SAndrew Turner 
35849aef49SAndrew Turner #include "opt_ddb.h"
36849aef49SAndrew Turner 
370cb53570SAndrew Turner #include <sys/cdefs.h>
38849aef49SAndrew Turner __FBSDID("$FreeBSD$");
390cb53570SAndrew Turner 
400cb53570SAndrew Turner #include <sys/param.h>
410cb53570SAndrew Turner #include <sys/kernel.h>
42849aef49SAndrew Turner #include <sys/bus.h>
430cb53570SAndrew Turner #include <sys/conf.h>
440cb53570SAndrew Turner #include <sys/cpu.h>
45849aef49SAndrew Turner #include <sys/csan.h>
46849aef49SAndrew Turner #include <sys/proc.h>
47849aef49SAndrew Turner #include <sys/smp.h>
48849aef49SAndrew Turner #include <sys/systm.h>
49849aef49SAndrew Turner 
50849aef49SAndrew Turner #include <ddb/ddb.h>
51849aef49SAndrew Turner #include <ddb/db_sym.h>
520cb53570SAndrew Turner 
530cb53570SAndrew Turner #ifdef KCSAN_PANIC
540cb53570SAndrew Turner #define REPORT panic
550cb53570SAndrew Turner #else
560cb53570SAndrew Turner #define REPORT printf
570cb53570SAndrew Turner #endif
580cb53570SAndrew Turner 
590cb53570SAndrew Turner typedef struct {
600cb53570SAndrew Turner 	uintptr_t addr;
610cb53570SAndrew Turner 	uint32_t size;
620cb53570SAndrew Turner 	bool write:1;
630cb53570SAndrew Turner 	bool atomic:1;
640cb53570SAndrew Turner 	uintptr_t pc;
650cb53570SAndrew Turner } csan_cell_t;
660cb53570SAndrew Turner 
670cb53570SAndrew Turner typedef struct {
680cb53570SAndrew Turner 	bool inited;
690cb53570SAndrew Turner 	uint32_t cnt;
700cb53570SAndrew Turner 	csan_cell_t cell;
710cb53570SAndrew Turner } csan_cpu_t;
720cb53570SAndrew Turner 
73849aef49SAndrew Turner static csan_cpu_t kcsan_cpus[MAXCPU];
740cb53570SAndrew Turner static bool kcsan_enabled __read_mostly;
750cb53570SAndrew Turner 
760cb53570SAndrew Turner #define __RET_ADDR	(uintptr_t)__builtin_return_address(0)
770cb53570SAndrew Turner 
780cb53570SAndrew Turner #define KCSAN_NACCESSES	1024
790cb53570SAndrew Turner #define KCSAN_DELAY	10	/* 10 microseconds */
800cb53570SAndrew Turner 
810cb53570SAndrew Turner /* -------------------------------------------------------------------------- */
820cb53570SAndrew Turner 
830cb53570SAndrew Turner /* The MD code. */
840cb53570SAndrew Turner #include <machine/csan.h>
850cb53570SAndrew Turner 
860cb53570SAndrew Turner /* -------------------------------------------------------------------------- */
870cb53570SAndrew Turner 
88849aef49SAndrew Turner static void
89849aef49SAndrew Turner kcsan_enable(void *dummy __unused)
900cb53570SAndrew Turner {
91849aef49SAndrew Turner 
92849aef49SAndrew Turner 	printf("Enabling KCSCAN, expect reduced performance.\n");
930cb53570SAndrew Turner 	kcsan_enabled = true;
940cb53570SAndrew Turner }
95849aef49SAndrew Turner SYSINIT(kcsan_enable, SI_SUB_SMP, SI_ORDER_SECOND, kcsan_enable, NULL);
960cb53570SAndrew Turner 
970cb53570SAndrew Turner void
98849aef49SAndrew Turner kcsan_cpu_init(u_int cpu)
990cb53570SAndrew Turner {
100849aef49SAndrew Turner 	kcsan_cpus[cpu].inited = true;
1010cb53570SAndrew Turner }
1020cb53570SAndrew Turner 
1030cb53570SAndrew Turner /* -------------------------------------------------------------------------- */
1040cb53570SAndrew Turner 
1050cb53570SAndrew Turner static inline void
106849aef49SAndrew Turner kcsan_report(csan_cell_t *new, u_int newcpu, csan_cell_t *old, u_int oldcpu)
1070cb53570SAndrew Turner {
1080cb53570SAndrew Turner 	const char *newsym, *oldsym;
109849aef49SAndrew Turner #ifdef DDB
110849aef49SAndrew Turner 	c_db_sym_t sym;
111849aef49SAndrew Turner 	db_expr_t offset;
1120cb53570SAndrew Turner 
113849aef49SAndrew Turner 	sym = db_search_symbol((vm_offset_t)new->pc, DB_STGY_PROC, &offset);
114849aef49SAndrew Turner 	db_symbol_values(sym, &newsym, NULL);
115849aef49SAndrew Turner 
116849aef49SAndrew Turner 	sym = db_search_symbol((vm_offset_t)old->pc, DB_STGY_PROC, &offset);
117849aef49SAndrew Turner 	db_symbol_values(sym, &oldsym, NULL);
118849aef49SAndrew Turner #else
119849aef49SAndrew Turner 	newsym = "";
120849aef49SAndrew Turner 	oldsym = "";
121849aef49SAndrew Turner #endif
1220cb53570SAndrew Turner 	REPORT("CSan: Racy Access "
123849aef49SAndrew Turner 	    "[Cpu%u %s%s Addr=%p Size=%u PC=%p<%s>] "
124849aef49SAndrew Turner 	    "[Cpu%u %s%s Addr=%p Size=%u PC=%p<%s>]\n",
1250cb53570SAndrew Turner 	    newcpu,
1260cb53570SAndrew Turner 	    (new->atomic ? "Atomic " : ""), (new->write ? "Write" : "Read"),
1270cb53570SAndrew Turner 	    (void *)new->addr, new->size, (void *)new->pc, newsym,
1280cb53570SAndrew Turner 	    oldcpu,
1290cb53570SAndrew Turner 	    (old->atomic ? "Atomic " : ""), (old->write ? "Write" : "Read"),
1300cb53570SAndrew Turner 	    (void *)old->addr, old->size, (void *)old->pc, oldsym);
1310cb53570SAndrew Turner 	kcsan_md_unwind();
1320cb53570SAndrew Turner }
1330cb53570SAndrew Turner 
1340cb53570SAndrew Turner static inline bool
1350cb53570SAndrew Turner kcsan_access_is_atomic(csan_cell_t *new, csan_cell_t *old)
1360cb53570SAndrew Turner {
1370cb53570SAndrew Turner 	if (new->write && !new->atomic)
1380cb53570SAndrew Turner 		return false;
1390cb53570SAndrew Turner 	if (old->write && !old->atomic)
1400cb53570SAndrew Turner 		return false;
1410cb53570SAndrew Turner 	return true;
1420cb53570SAndrew Turner }
1430cb53570SAndrew Turner 
1440cb53570SAndrew Turner static inline void
1450cb53570SAndrew Turner kcsan_access(uintptr_t addr, size_t size, bool write, bool atomic, uintptr_t pc)
1460cb53570SAndrew Turner {
1470cb53570SAndrew Turner 	csan_cell_t old, new;
1480cb53570SAndrew Turner 	csan_cpu_t *cpu;
1490cb53570SAndrew Turner 	uint64_t intr;
1500cb53570SAndrew Turner 	size_t i;
1510cb53570SAndrew Turner 
1520cb53570SAndrew Turner 	if (__predict_false(!kcsan_enabled))
1530cb53570SAndrew Turner 		return;
15468cad681SAndrew Turner 	if (__predict_false(kcsan_md_unsupported((vm_offset_t)addr)))
15568cad681SAndrew Turner 		return;
156879e0604SMateusz Guzik 	if (KERNEL_PANICKED())
157a27ac464SAndrew Turner 		return;
1580cb53570SAndrew Turner 
1590cb53570SAndrew Turner 	new.addr = addr;
1600cb53570SAndrew Turner 	new.size = size;
1610cb53570SAndrew Turner 	new.write = write;
1620cb53570SAndrew Turner 	new.atomic = atomic;
1630cb53570SAndrew Turner 	new.pc = pc;
1640cb53570SAndrew Turner 
165849aef49SAndrew Turner 	CPU_FOREACH(i) {
1660cb53570SAndrew Turner 		__builtin_memcpy(&old, &kcsan_cpus[i].cell, sizeof(old));
1670cb53570SAndrew Turner 
1680cb53570SAndrew Turner 		if (old.addr + old.size <= new.addr)
1690cb53570SAndrew Turner 			continue;
1700cb53570SAndrew Turner 		if (new.addr + new.size <= old.addr)
1710cb53570SAndrew Turner 			continue;
1720cb53570SAndrew Turner 		if (__predict_true(!old.write && !new.write))
1730cb53570SAndrew Turner 			continue;
1740cb53570SAndrew Turner 		if (__predict_true(kcsan_access_is_atomic(&new, &old)))
1750cb53570SAndrew Turner 			continue;
1760cb53570SAndrew Turner 
177849aef49SAndrew Turner 		kcsan_report(&new, PCPU_GET(cpuid), &old, i);
1780cb53570SAndrew Turner 		break;
1790cb53570SAndrew Turner 	}
1800cb53570SAndrew Turner 
1810cb53570SAndrew Turner 	if (__predict_false(!kcsan_md_is_avail()))
1820cb53570SAndrew Turner 		return;
1830cb53570SAndrew Turner 
1840cb53570SAndrew Turner 	kcsan_md_disable_intrs(&intr);
1850cb53570SAndrew Turner 
186849aef49SAndrew Turner 	cpu = &kcsan_cpus[PCPU_GET(cpuid)];
1870cb53570SAndrew Turner 	if (__predict_false(!cpu->inited))
1880cb53570SAndrew Turner 		goto out;
1890cb53570SAndrew Turner 	cpu->cnt = (cpu->cnt + 1) % KCSAN_NACCESSES;
1900cb53570SAndrew Turner 	if (__predict_true(cpu->cnt != 0))
1910cb53570SAndrew Turner 		goto out;
1920cb53570SAndrew Turner 
1930cb53570SAndrew Turner 	__builtin_memcpy(&cpu->cell, &new, sizeof(new));
1940cb53570SAndrew Turner 	kcsan_md_delay(KCSAN_DELAY);
1950cb53570SAndrew Turner 	__builtin_memset(&cpu->cell, 0, sizeof(new));
1960cb53570SAndrew Turner 
1970cb53570SAndrew Turner out:
1980cb53570SAndrew Turner 	kcsan_md_enable_intrs(&intr);
1990cb53570SAndrew Turner }
2000cb53570SAndrew Turner 
2010cb53570SAndrew Turner #define CSAN_READ(size)							\
2020cb53570SAndrew Turner 	void __tsan_read##size(uintptr_t);				\
2030cb53570SAndrew Turner 	void __tsan_read##size(uintptr_t addr)				\
2040cb53570SAndrew Turner 	{								\
2050cb53570SAndrew Turner 		kcsan_access(addr, size, false, false, __RET_ADDR);	\
206849aef49SAndrew Turner 	}								\
207849aef49SAndrew Turner 	void __tsan_unaligned_read##size(uintptr_t);			\
208849aef49SAndrew Turner 	void __tsan_unaligned_read##size(uintptr_t addr)		\
209849aef49SAndrew Turner 	{								\
210849aef49SAndrew Turner 		kcsan_access(addr, size, false, false, __RET_ADDR);	\
2110cb53570SAndrew Turner 	}
2120cb53570SAndrew Turner 
2130cb53570SAndrew Turner CSAN_READ(1)
2140cb53570SAndrew Turner CSAN_READ(2)
2150cb53570SAndrew Turner CSAN_READ(4)
2160cb53570SAndrew Turner CSAN_READ(8)
2170cb53570SAndrew Turner CSAN_READ(16)
2180cb53570SAndrew Turner 
2190cb53570SAndrew Turner #define CSAN_WRITE(size)						\
2200cb53570SAndrew Turner 	void __tsan_write##size(uintptr_t);				\
2210cb53570SAndrew Turner 	void __tsan_write##size(uintptr_t addr)				\
2220cb53570SAndrew Turner 	{								\
2230cb53570SAndrew Turner 		kcsan_access(addr, size, true, false, __RET_ADDR);	\
224849aef49SAndrew Turner 	}								\
225849aef49SAndrew Turner 	void __tsan_unaligned_write##size(uintptr_t);			\
226849aef49SAndrew Turner 	void __tsan_unaligned_write##size(uintptr_t addr)		\
227849aef49SAndrew Turner 	{								\
228849aef49SAndrew Turner 		kcsan_access(addr, size, true, false, __RET_ADDR);	\
2290cb53570SAndrew Turner 	}
2300cb53570SAndrew Turner 
2310cb53570SAndrew Turner CSAN_WRITE(1)
2320cb53570SAndrew Turner CSAN_WRITE(2)
2330cb53570SAndrew Turner CSAN_WRITE(4)
2340cb53570SAndrew Turner CSAN_WRITE(8)
2350cb53570SAndrew Turner CSAN_WRITE(16)
2360cb53570SAndrew Turner 
2370cb53570SAndrew Turner void __tsan_read_range(uintptr_t, size_t);
2380cb53570SAndrew Turner void __tsan_write_range(uintptr_t, size_t);
2390cb53570SAndrew Turner 
2400cb53570SAndrew Turner void
2410cb53570SAndrew Turner __tsan_read_range(uintptr_t addr, size_t size)
2420cb53570SAndrew Turner {
2430cb53570SAndrew Turner 	kcsan_access(addr, size, false, false, __RET_ADDR);
2440cb53570SAndrew Turner }
2450cb53570SAndrew Turner 
2460cb53570SAndrew Turner void
2470cb53570SAndrew Turner __tsan_write_range(uintptr_t addr, size_t size)
2480cb53570SAndrew Turner {
2490cb53570SAndrew Turner 	kcsan_access(addr, size, true, false, __RET_ADDR);
2500cb53570SAndrew Turner }
2510cb53570SAndrew Turner 
2520cb53570SAndrew Turner void __tsan_init(void);
2530cb53570SAndrew Turner void __tsan_func_entry(void *);
2540cb53570SAndrew Turner void __tsan_func_exit(void);
2550cb53570SAndrew Turner 
2560cb53570SAndrew Turner void
2570cb53570SAndrew Turner __tsan_init(void)
2580cb53570SAndrew Turner {
2590cb53570SAndrew Turner }
2600cb53570SAndrew Turner 
2610cb53570SAndrew Turner void
2620cb53570SAndrew Turner __tsan_func_entry(void *call_pc)
2630cb53570SAndrew Turner {
2640cb53570SAndrew Turner }
2650cb53570SAndrew Turner 
2660cb53570SAndrew Turner void
2670cb53570SAndrew Turner __tsan_func_exit(void)
2680cb53570SAndrew Turner {
2690cb53570SAndrew Turner }
2700cb53570SAndrew Turner 
2710cb53570SAndrew Turner /* -------------------------------------------------------------------------- */
2720cb53570SAndrew Turner 
2730cb53570SAndrew Turner void *
2740cb53570SAndrew Turner kcsan_memcpy(void *dst, const void *src, size_t len)
2750cb53570SAndrew Turner {
2760cb53570SAndrew Turner 	kcsan_access((uintptr_t)src, len, false, false, __RET_ADDR);
2770cb53570SAndrew Turner 	kcsan_access((uintptr_t)dst, len, true, false, __RET_ADDR);
2780cb53570SAndrew Turner 	return __builtin_memcpy(dst, src, len);
2790cb53570SAndrew Turner }
2800cb53570SAndrew Turner 
2810cb53570SAndrew Turner int
2820cb53570SAndrew Turner kcsan_memcmp(const void *b1, const void *b2, size_t len)
2830cb53570SAndrew Turner {
2840cb53570SAndrew Turner 	kcsan_access((uintptr_t)b1, len, false, false, __RET_ADDR);
2850cb53570SAndrew Turner 	kcsan_access((uintptr_t)b2, len, false, false, __RET_ADDR);
2860cb53570SAndrew Turner 	return __builtin_memcmp(b1, b2, len);
2870cb53570SAndrew Turner }
2880cb53570SAndrew Turner 
2890cb53570SAndrew Turner void *
2900cb53570SAndrew Turner kcsan_memset(void *b, int c, size_t len)
2910cb53570SAndrew Turner {
2920cb53570SAndrew Turner 	kcsan_access((uintptr_t)b, len, true, false, __RET_ADDR);
2930cb53570SAndrew Turner 	return __builtin_memset(b, c, len);
2940cb53570SAndrew Turner }
2950cb53570SAndrew Turner 
2960cb53570SAndrew Turner void *
2970cb53570SAndrew Turner kcsan_memmove(void *dst, const void *src, size_t len)
2980cb53570SAndrew Turner {
2990cb53570SAndrew Turner 	kcsan_access((uintptr_t)src, len, false, false, __RET_ADDR);
3000cb53570SAndrew Turner 	kcsan_access((uintptr_t)dst, len, true, false, __RET_ADDR);
3010cb53570SAndrew Turner 	return __builtin_memmove(dst, src, len);
3020cb53570SAndrew Turner }
3030cb53570SAndrew Turner 
3040cb53570SAndrew Turner char *
3050cb53570SAndrew Turner kcsan_strcpy(char *dst, const char *src)
3060cb53570SAndrew Turner {
3070cb53570SAndrew Turner 	char *save = dst;
3080cb53570SAndrew Turner 
3090cb53570SAndrew Turner 	while (1) {
3100cb53570SAndrew Turner 		kcsan_access((uintptr_t)src, 1, false, false, __RET_ADDR);
3110cb53570SAndrew Turner 		kcsan_access((uintptr_t)dst, 1, true, false, __RET_ADDR);
3120cb53570SAndrew Turner 		*dst = *src;
3130cb53570SAndrew Turner 		if (*src == '\0')
3140cb53570SAndrew Turner 			break;
3150cb53570SAndrew Turner 		src++, dst++;
3160cb53570SAndrew Turner 	}
3170cb53570SAndrew Turner 
3180cb53570SAndrew Turner 	return save;
3190cb53570SAndrew Turner }
3200cb53570SAndrew Turner 
3210cb53570SAndrew Turner int
3220cb53570SAndrew Turner kcsan_strcmp(const char *s1, const char *s2)
3230cb53570SAndrew Turner {
3240cb53570SAndrew Turner 	while (1) {
3250cb53570SAndrew Turner 		kcsan_access((uintptr_t)s1, 1, false, false, __RET_ADDR);
3260cb53570SAndrew Turner 		kcsan_access((uintptr_t)s2, 1, false, false, __RET_ADDR);
3270cb53570SAndrew Turner 		if (*s1 != *s2)
3280cb53570SAndrew Turner 			break;
3290cb53570SAndrew Turner 		if (*s1 == '\0')
3300cb53570SAndrew Turner 			return 0;
3310cb53570SAndrew Turner 		s1++, s2++;
3320cb53570SAndrew Turner 	}
3330cb53570SAndrew Turner 
3340cb53570SAndrew Turner 	return (*(const unsigned char *)s1 - *(const unsigned char *)s2);
3350cb53570SAndrew Turner }
3360cb53570SAndrew Turner 
3370cb53570SAndrew Turner size_t
3380cb53570SAndrew Turner kcsan_strlen(const char *str)
3390cb53570SAndrew Turner {
3400cb53570SAndrew Turner 	const char *s;
3410cb53570SAndrew Turner 
3420cb53570SAndrew Turner 	s = str;
3430cb53570SAndrew Turner 	while (1) {
3440cb53570SAndrew Turner 		kcsan_access((uintptr_t)s, 1, false, false, __RET_ADDR);
3450cb53570SAndrew Turner 		if (*s == '\0')
3460cb53570SAndrew Turner 			break;
3470cb53570SAndrew Turner 		s++;
3480cb53570SAndrew Turner 	}
3490cb53570SAndrew Turner 
3500cb53570SAndrew Turner 	return (s - str);
3510cb53570SAndrew Turner }
3520cb53570SAndrew Turner 
3530cb53570SAndrew Turner #undef copystr
3540cb53570SAndrew Turner #undef copyin
355849aef49SAndrew Turner #undef copyin_nofault
356849aef49SAndrew Turner #undef copyinstr
3570cb53570SAndrew Turner #undef copyout
358849aef49SAndrew Turner #undef copyout_nofault
3590cb53570SAndrew Turner 
3600cb53570SAndrew Turner int
3610cb53570SAndrew Turner kcsan_copystr(const void *kfaddr, void *kdaddr, size_t len, size_t *done)
3620cb53570SAndrew Turner {
3630cb53570SAndrew Turner 	kcsan_access((uintptr_t)kdaddr, len, true, false, __RET_ADDR);
3640cb53570SAndrew Turner 	return copystr(kfaddr, kdaddr, len, done);
3650cb53570SAndrew Turner }
3660cb53570SAndrew Turner 
3670cb53570SAndrew Turner int
3680cb53570SAndrew Turner kcsan_copyin(const void *uaddr, void *kaddr, size_t len)
3690cb53570SAndrew Turner {
3700cb53570SAndrew Turner 	kcsan_access((uintptr_t)kaddr, len, true, false, __RET_ADDR);
3710cb53570SAndrew Turner 	return copyin(uaddr, kaddr, len);
3720cb53570SAndrew Turner }
3730cb53570SAndrew Turner 
3740cb53570SAndrew Turner int
3750cb53570SAndrew Turner kcsan_copyinstr(const void *uaddr, void *kaddr, size_t len, size_t *done)
3760cb53570SAndrew Turner {
3770cb53570SAndrew Turner 	kcsan_access((uintptr_t)kaddr, len, true, false, __RET_ADDR);
3780cb53570SAndrew Turner 	return copyinstr(uaddr, kaddr, len, done);
3790cb53570SAndrew Turner }
3800cb53570SAndrew Turner 
3810cb53570SAndrew Turner int
382849aef49SAndrew Turner kcsan_copyout(const void *kaddr, void *uaddr, size_t len)
3830cb53570SAndrew Turner {
3840cb53570SAndrew Turner 	kcsan_access((uintptr_t)kaddr, len, false, false, __RET_ADDR);
385849aef49SAndrew Turner 	return copyout(kaddr, uaddr, len);
3860cb53570SAndrew Turner }
3870cb53570SAndrew Turner 
3880cb53570SAndrew Turner /* -------------------------------------------------------------------------- */
3890cb53570SAndrew Turner 
390849aef49SAndrew Turner #include <machine/atomic.h>
391849aef49SAndrew Turner #include <sys/_cscan_atomic.h>
3920cb53570SAndrew Turner 
393849aef49SAndrew Turner #define	_CSAN_ATOMIC_FUNC_ADD(name, type)				\
394849aef49SAndrew Turner 	void kcsan_atomic_add_##name(volatile type *ptr, type val)	\
3950cb53570SAndrew Turner 	{								\
396849aef49SAndrew Turner 		kcsan_access((uintptr_t)ptr, sizeof(type), true, true,	\
3970cb53570SAndrew Turner 		    __RET_ADDR);					\
3980cb53570SAndrew Turner 		atomic_add_##name(ptr, val); 				\
3990cb53570SAndrew Turner 	}
4000cb53570SAndrew Turner 
401849aef49SAndrew Turner #define	CSAN_ATOMIC_FUNC_ADD(name, type)				\
402849aef49SAndrew Turner 	_CSAN_ATOMIC_FUNC_ADD(name, type)				\
403849aef49SAndrew Turner 	_CSAN_ATOMIC_FUNC_ADD(acq_##name, type)				\
404849aef49SAndrew Turner 	_CSAN_ATOMIC_FUNC_ADD(rel_##name, type)
405849aef49SAndrew Turner 
406849aef49SAndrew Turner #define	_CSAN_ATOMIC_FUNC_CLEAR(name, type)				\
407849aef49SAndrew Turner 	void kcsan_atomic_clear_##name(volatile type *ptr, type val)	\
4080cb53570SAndrew Turner 	{								\
409849aef49SAndrew Turner 		kcsan_access((uintptr_t)ptr, sizeof(type), true, true,	\
4100cb53570SAndrew Turner 		    __RET_ADDR);					\
411849aef49SAndrew Turner 		atomic_clear_##name(ptr, val); 				\
4120cb53570SAndrew Turner 	}
4130cb53570SAndrew Turner 
414849aef49SAndrew Turner #define	CSAN_ATOMIC_FUNC_CLEAR(name, type)				\
415849aef49SAndrew Turner 	_CSAN_ATOMIC_FUNC_CLEAR(name, type)				\
416849aef49SAndrew Turner 	_CSAN_ATOMIC_FUNC_CLEAR(acq_##name, type)			\
417849aef49SAndrew Turner 	_CSAN_ATOMIC_FUNC_CLEAR(rel_##name, type)
418849aef49SAndrew Turner 
419849aef49SAndrew Turner #define	_CSAN_ATOMIC_FUNC_CMPSET(name, type)				\
420849aef49SAndrew Turner 	int kcsan_atomic_cmpset_##name(volatile type *ptr, type val1,	\
421849aef49SAndrew Turner 	    type val2)							\
4220cb53570SAndrew Turner 	{								\
423849aef49SAndrew Turner 		kcsan_access((uintptr_t)ptr, sizeof(type), true, true,	\
4240cb53570SAndrew Turner 		    __RET_ADDR);					\
425849aef49SAndrew Turner 		return (atomic_cmpset_##name(ptr, val1, val2));		\
4260cb53570SAndrew Turner 	}
4270cb53570SAndrew Turner 
428849aef49SAndrew Turner #define	CSAN_ATOMIC_FUNC_CMPSET(name, type)				\
429849aef49SAndrew Turner 	_CSAN_ATOMIC_FUNC_CMPSET(name, type)				\
430849aef49SAndrew Turner 	_CSAN_ATOMIC_FUNC_CMPSET(acq_##name, type)			\
431849aef49SAndrew Turner 	_CSAN_ATOMIC_FUNC_CMPSET(rel_##name, type)
432849aef49SAndrew Turner 
433849aef49SAndrew Turner #define	_CSAN_ATOMIC_FUNC_FCMPSET(name, type)				\
434849aef49SAndrew Turner 	int kcsan_atomic_fcmpset_##name(volatile type *ptr, type *val1,	\
435849aef49SAndrew Turner 	    type val2)							\
4360cb53570SAndrew Turner 	{								\
437849aef49SAndrew Turner 		kcsan_access((uintptr_t)ptr, sizeof(type), true, true,	\
4380cb53570SAndrew Turner 		    __RET_ADDR);					\
439849aef49SAndrew Turner 		return (atomic_fcmpset_##name(ptr, val1, val2));	\
4400cb53570SAndrew Turner 	}
4410cb53570SAndrew Turner 
442849aef49SAndrew Turner #define	CSAN_ATOMIC_FUNC_FCMPSET(name, type)				\
443849aef49SAndrew Turner 	_CSAN_ATOMIC_FUNC_FCMPSET(name, type)				\
444849aef49SAndrew Turner 	_CSAN_ATOMIC_FUNC_FCMPSET(acq_##name, type)			\
445849aef49SAndrew Turner 	_CSAN_ATOMIC_FUNC_FCMPSET(rel_##name, type)
446849aef49SAndrew Turner 
447849aef49SAndrew Turner #define	CSAN_ATOMIC_FUNC_FETCHADD(name, type)				\
448849aef49SAndrew Turner 	type kcsan_atomic_fetchadd_##name(volatile type *ptr, type val)	\
4490cb53570SAndrew Turner 	{								\
450849aef49SAndrew Turner 		kcsan_access((uintptr_t)ptr, sizeof(type), true, true,	\
4510cb53570SAndrew Turner 		    __RET_ADDR);					\
452849aef49SAndrew Turner 		return (atomic_fetchadd_##name(ptr, val));		\
4530cb53570SAndrew Turner 	}
4540cb53570SAndrew Turner 
455849aef49SAndrew Turner #define	_CSAN_ATOMIC_FUNC_LOAD(name, type)				\
456849aef49SAndrew Turner 	type kcsan_atomic_load_##name(volatile type *ptr)		\
4570cb53570SAndrew Turner 	{								\
458849aef49SAndrew Turner 		kcsan_access((uintptr_t)ptr, sizeof(type), false, true,	\
4590cb53570SAndrew Turner 		    __RET_ADDR);					\
460849aef49SAndrew Turner 		return (atomic_load_##name(ptr));			\
4610cb53570SAndrew Turner 	}
4620cb53570SAndrew Turner 
463849aef49SAndrew Turner #define	CSAN_ATOMIC_FUNC_LOAD(name, type)				\
464849aef49SAndrew Turner 	_CSAN_ATOMIC_FUNC_LOAD(name, type)				\
465849aef49SAndrew Turner 	_CSAN_ATOMIC_FUNC_LOAD(acq_##name, type)			\
466849aef49SAndrew Turner 
467849aef49SAndrew Turner #define	CSAN_ATOMIC_FUNC_READANDCLEAR(name, type)			\
468849aef49SAndrew Turner 	type kcsan_atomic_readandclear_##name(volatile type *ptr)	\
4690cb53570SAndrew Turner 	{								\
470849aef49SAndrew Turner 		kcsan_access((uintptr_t)ptr, sizeof(type), true, true,	\
4710cb53570SAndrew Turner 		    __RET_ADDR);					\
472849aef49SAndrew Turner 		return (atomic_readandclear_##name(ptr));		\
4730cb53570SAndrew Turner 	}
4740cb53570SAndrew Turner 
475849aef49SAndrew Turner #define	_CSAN_ATOMIC_FUNC_SET(name, type)				\
476849aef49SAndrew Turner 	void kcsan_atomic_set_##name(volatile type *ptr, type val)	\
477849aef49SAndrew Turner 	{								\
478849aef49SAndrew Turner 		kcsan_access((uintptr_t)ptr, sizeof(type), true, true,	\
479849aef49SAndrew Turner 		    __RET_ADDR);					\
480849aef49SAndrew Turner 		atomic_set_##name(ptr, val); 				\
481849aef49SAndrew Turner 	}
4820cb53570SAndrew Turner 
483849aef49SAndrew Turner #define	CSAN_ATOMIC_FUNC_SET(name, type)				\
484849aef49SAndrew Turner 	_CSAN_ATOMIC_FUNC_SET(name, type)				\
485849aef49SAndrew Turner 	_CSAN_ATOMIC_FUNC_SET(acq_##name, type)				\
486849aef49SAndrew Turner 	_CSAN_ATOMIC_FUNC_SET(rel_##name, type)
4870cb53570SAndrew Turner 
488849aef49SAndrew Turner #define	_CSAN_ATOMIC_FUNC_SUBTRACT(name, type)				\
489849aef49SAndrew Turner 	void kcsan_atomic_subtract_##name(volatile type *ptr, type val)	\
490849aef49SAndrew Turner 	{								\
491849aef49SAndrew Turner 		kcsan_access((uintptr_t)ptr, sizeof(type), true, true,	\
492849aef49SAndrew Turner 		    __RET_ADDR);					\
493849aef49SAndrew Turner 		atomic_subtract_##name(ptr, val); 			\
494849aef49SAndrew Turner 	}
4950cb53570SAndrew Turner 
496849aef49SAndrew Turner #define	CSAN_ATOMIC_FUNC_SUBTRACT(name, type)				\
497849aef49SAndrew Turner 	_CSAN_ATOMIC_FUNC_SUBTRACT(name, type)				\
498849aef49SAndrew Turner 	_CSAN_ATOMIC_FUNC_SUBTRACT(acq_##name, type)			\
499849aef49SAndrew Turner 	_CSAN_ATOMIC_FUNC_SUBTRACT(rel_##name, type)
5000cb53570SAndrew Turner 
501849aef49SAndrew Turner #define	_CSAN_ATOMIC_FUNC_STORE(name, type)				\
502849aef49SAndrew Turner 	void kcsan_atomic_store_##name(volatile type *ptr, type val)	\
503849aef49SAndrew Turner 	{								\
504849aef49SAndrew Turner 		kcsan_access((uintptr_t)ptr, sizeof(type), true, true,	\
505849aef49SAndrew Turner 		    __RET_ADDR);					\
506849aef49SAndrew Turner 		atomic_store_##name(ptr, val); 				\
507849aef49SAndrew Turner 	}
5080cb53570SAndrew Turner 
509849aef49SAndrew Turner #define	CSAN_ATOMIC_FUNC_STORE(name, type)				\
510849aef49SAndrew Turner 	_CSAN_ATOMIC_FUNC_STORE(name, type)				\
511849aef49SAndrew Turner 	_CSAN_ATOMIC_FUNC_STORE(rel_##name, type)
512849aef49SAndrew Turner 
513849aef49SAndrew Turner #define	CSAN_ATOMIC_FUNC_SWAP(name, type)				\
514849aef49SAndrew Turner 	type kcsan_atomic_swap_##name(volatile type *ptr, type val)	\
515849aef49SAndrew Turner 	{								\
516849aef49SAndrew Turner 		kcsan_access((uintptr_t)ptr, sizeof(type), true, true,	\
517849aef49SAndrew Turner 		    __RET_ADDR);					\
518849aef49SAndrew Turner 		return(atomic_swap_##name(ptr, val)); 			\
519849aef49SAndrew Turner 	}
520849aef49SAndrew Turner 
521849aef49SAndrew Turner #define	CSAN_ATOMIC_FUNC_TESTANDCLEAR(name, type)			\
522849aef49SAndrew Turner 	int kcsan_atomic_testandclear_##name(volatile type *ptr, u_int val) \
523849aef49SAndrew Turner 	{								\
524849aef49SAndrew Turner 		kcsan_access((uintptr_t)ptr, sizeof(type), true, true,	\
525849aef49SAndrew Turner 		    __RET_ADDR);					\
526849aef49SAndrew Turner 		return(atomic_testandclear_##name(ptr, val)); 		\
527849aef49SAndrew Turner 	}
528849aef49SAndrew Turner 
529849aef49SAndrew Turner #define	CSAN_ATOMIC_FUNC_TESTANDSET(name, type)				\
530849aef49SAndrew Turner 	int kcsan_atomic_testandset_##name(volatile type *ptr, u_int val) \
531849aef49SAndrew Turner 	{								\
532849aef49SAndrew Turner 		kcsan_access((uintptr_t)ptr, sizeof(type), true, true,	\
533849aef49SAndrew Turner 		    __RET_ADDR);					\
534849aef49SAndrew Turner 		return (atomic_testandset_##name(ptr, val)); 		\
535849aef49SAndrew Turner 	}
536849aef49SAndrew Turner 
537849aef49SAndrew Turner CSAN_ATOMIC_FUNC_ADD(8, uint8_t)
538849aef49SAndrew Turner CSAN_ATOMIC_FUNC_CLEAR(8, uint8_t)
539849aef49SAndrew Turner CSAN_ATOMIC_FUNC_CMPSET(8, uint8_t)
540849aef49SAndrew Turner CSAN_ATOMIC_FUNC_FCMPSET(8, uint8_t)
541*ca0ec73cSConrad Meyer CSAN_ATOMIC_FUNC_LOAD(8, uint8_t)
542849aef49SAndrew Turner CSAN_ATOMIC_FUNC_SET(8, uint8_t)
543849aef49SAndrew Turner CSAN_ATOMIC_FUNC_SUBTRACT(8, uint8_t)
544849aef49SAndrew Turner _CSAN_ATOMIC_FUNC_STORE(8, uint8_t)
545849aef49SAndrew Turner #if 0
546849aef49SAndrew Turner CSAN_ATOMIC_FUNC_FETCHADD(8, uint8_t)
547849aef49SAndrew Turner CSAN_ATOMIC_FUNC_READANDCLEAR(8, uint8_t)
548849aef49SAndrew Turner CSAN_ATOMIC_FUNC_SWAP(8, uint8_t)
549849aef49SAndrew Turner CSAN_ATOMIC_FUNC_TESTANDCLEAR(8, uint8_t)
550849aef49SAndrew Turner CSAN_ATOMIC_FUNC_TESTANDSET(8, uint8_t)
551849aef49SAndrew Turner #endif
552849aef49SAndrew Turner 
553849aef49SAndrew Turner CSAN_ATOMIC_FUNC_ADD(16, uint16_t)
554849aef49SAndrew Turner CSAN_ATOMIC_FUNC_CLEAR(16, uint16_t)
555849aef49SAndrew Turner CSAN_ATOMIC_FUNC_CMPSET(16, uint16_t)
556849aef49SAndrew Turner CSAN_ATOMIC_FUNC_FCMPSET(16, uint16_t)
557849aef49SAndrew Turner CSAN_ATOMIC_FUNC_LOAD(16, uint16_t)
558849aef49SAndrew Turner CSAN_ATOMIC_FUNC_SET(16, uint16_t)
559849aef49SAndrew Turner CSAN_ATOMIC_FUNC_SUBTRACT(16, uint16_t)
560849aef49SAndrew Turner _CSAN_ATOMIC_FUNC_STORE(16, uint16_t)
561849aef49SAndrew Turner #if 0
562849aef49SAndrew Turner CSAN_ATOMIC_FUNC_FETCHADD(16, uint16_t)
563849aef49SAndrew Turner CSAN_ATOMIC_FUNC_READANDCLEAR(16, uint16_t)
564849aef49SAndrew Turner CSAN_ATOMIC_FUNC_SWAP(16, uint16_t)
565849aef49SAndrew Turner CSAN_ATOMIC_FUNC_TESTANDCLEAR(16, uint16_t)
566849aef49SAndrew Turner CSAN_ATOMIC_FUNC_TESTANDSET(16, uint16_t)
567849aef49SAndrew Turner #endif
568849aef49SAndrew Turner 
569849aef49SAndrew Turner CSAN_ATOMIC_FUNC_ADD(32, uint32_t)
570849aef49SAndrew Turner CSAN_ATOMIC_FUNC_CLEAR(32, uint32_t)
571849aef49SAndrew Turner CSAN_ATOMIC_FUNC_CMPSET(32, uint32_t)
572849aef49SAndrew Turner CSAN_ATOMIC_FUNC_FCMPSET(32, uint32_t)
573849aef49SAndrew Turner CSAN_ATOMIC_FUNC_FETCHADD(32, uint32_t)
574849aef49SAndrew Turner CSAN_ATOMIC_FUNC_LOAD(32, uint32_t)
575849aef49SAndrew Turner CSAN_ATOMIC_FUNC_READANDCLEAR(32, uint32_t)
576849aef49SAndrew Turner CSAN_ATOMIC_FUNC_SET(32, uint32_t)
577849aef49SAndrew Turner CSAN_ATOMIC_FUNC_SUBTRACT(32, uint32_t)
578849aef49SAndrew Turner CSAN_ATOMIC_FUNC_STORE(32, uint32_t)
579849aef49SAndrew Turner CSAN_ATOMIC_FUNC_SWAP(32, uint32_t)
580849aef49SAndrew Turner #if !defined(__aarch64__)
581849aef49SAndrew Turner CSAN_ATOMIC_FUNC_TESTANDCLEAR(32, uint32_t)
582849aef49SAndrew Turner CSAN_ATOMIC_FUNC_TESTANDSET(32, uint32_t)
583849aef49SAndrew Turner #endif
584849aef49SAndrew Turner 
585849aef49SAndrew Turner CSAN_ATOMIC_FUNC_ADD(64, uint64_t)
586849aef49SAndrew Turner CSAN_ATOMIC_FUNC_CLEAR(64, uint64_t)
587849aef49SAndrew Turner CSAN_ATOMIC_FUNC_CMPSET(64, uint64_t)
588849aef49SAndrew Turner CSAN_ATOMIC_FUNC_FCMPSET(64, uint64_t)
589849aef49SAndrew Turner CSAN_ATOMIC_FUNC_FETCHADD(64, uint64_t)
590849aef49SAndrew Turner CSAN_ATOMIC_FUNC_LOAD(64, uint64_t)
591849aef49SAndrew Turner CSAN_ATOMIC_FUNC_READANDCLEAR(64, uint64_t)
592849aef49SAndrew Turner CSAN_ATOMIC_FUNC_SET(64, uint64_t)
593849aef49SAndrew Turner CSAN_ATOMIC_FUNC_SUBTRACT(64, uint64_t)
594849aef49SAndrew Turner CSAN_ATOMIC_FUNC_STORE(64, uint64_t)
595849aef49SAndrew Turner CSAN_ATOMIC_FUNC_SWAP(64, uint64_t)
596849aef49SAndrew Turner #if !defined(__aarch64__)
597849aef49SAndrew Turner CSAN_ATOMIC_FUNC_TESTANDCLEAR(64, uint64_t)
598849aef49SAndrew Turner CSAN_ATOMIC_FUNC_TESTANDSET(64, uint64_t)
599849aef49SAndrew Turner #endif
600849aef49SAndrew Turner 
601849aef49SAndrew Turner CSAN_ATOMIC_FUNC_ADD(int, u_int)
602849aef49SAndrew Turner CSAN_ATOMIC_FUNC_CLEAR(int, u_int)
603849aef49SAndrew Turner CSAN_ATOMIC_FUNC_CMPSET(int, u_int)
604849aef49SAndrew Turner CSAN_ATOMIC_FUNC_FCMPSET(int, u_int)
605849aef49SAndrew Turner CSAN_ATOMIC_FUNC_FETCHADD(int, u_int)
606849aef49SAndrew Turner CSAN_ATOMIC_FUNC_LOAD(int, u_int)
607849aef49SAndrew Turner CSAN_ATOMIC_FUNC_READANDCLEAR(int, u_int)
608849aef49SAndrew Turner CSAN_ATOMIC_FUNC_SET(int, u_int)
609849aef49SAndrew Turner CSAN_ATOMIC_FUNC_SUBTRACT(int, u_int)
610849aef49SAndrew Turner CSAN_ATOMIC_FUNC_STORE(int, u_int)
611849aef49SAndrew Turner CSAN_ATOMIC_FUNC_SWAP(int, u_int)
612849aef49SAndrew Turner #if !defined(__aarch64__)
613849aef49SAndrew Turner CSAN_ATOMIC_FUNC_TESTANDCLEAR(int, u_int)
614849aef49SAndrew Turner CSAN_ATOMIC_FUNC_TESTANDSET(int, u_int)
615849aef49SAndrew Turner #endif
616849aef49SAndrew Turner 
617849aef49SAndrew Turner CSAN_ATOMIC_FUNC_ADD(long, u_long)
618849aef49SAndrew Turner CSAN_ATOMIC_FUNC_CLEAR(long, u_long)
619849aef49SAndrew Turner CSAN_ATOMIC_FUNC_CMPSET(long, u_long)
620849aef49SAndrew Turner CSAN_ATOMIC_FUNC_FCMPSET(long, u_long)
621849aef49SAndrew Turner CSAN_ATOMIC_FUNC_FETCHADD(long, u_long)
622849aef49SAndrew Turner CSAN_ATOMIC_FUNC_LOAD(long, u_long)
623849aef49SAndrew Turner CSAN_ATOMIC_FUNC_READANDCLEAR(long, u_long)
624849aef49SAndrew Turner CSAN_ATOMIC_FUNC_SET(long, u_long)
625849aef49SAndrew Turner CSAN_ATOMIC_FUNC_SUBTRACT(long, u_long)
626849aef49SAndrew Turner CSAN_ATOMIC_FUNC_STORE(long, u_long)
627849aef49SAndrew Turner CSAN_ATOMIC_FUNC_SWAP(long, u_long)
628849aef49SAndrew Turner #if !defined(__aarch64__)
629849aef49SAndrew Turner CSAN_ATOMIC_FUNC_TESTANDCLEAR(long, u_long)
630849aef49SAndrew Turner CSAN_ATOMIC_FUNC_TESTANDSET(long, u_long)
631*ca0ec73cSConrad Meyer CSAN_ATOMIC_FUNC_TESTANDSET(acq_long, u_long)
632849aef49SAndrew Turner #endif
633849aef49SAndrew Turner 
634849aef49SAndrew Turner CSAN_ATOMIC_FUNC_ADD(ptr, uintptr_t)
635849aef49SAndrew Turner CSAN_ATOMIC_FUNC_CLEAR(ptr, uintptr_t)
636849aef49SAndrew Turner CSAN_ATOMIC_FUNC_CMPSET(ptr, uintptr_t)
637849aef49SAndrew Turner CSAN_ATOMIC_FUNC_FCMPSET(ptr, uintptr_t)
638849aef49SAndrew Turner #if !defined(__amd64__)
639849aef49SAndrew Turner CSAN_ATOMIC_FUNC_FETCHADD(ptr, uintptr_t)
640849aef49SAndrew Turner #endif
641849aef49SAndrew Turner CSAN_ATOMIC_FUNC_LOAD(ptr, uintptr_t)
642849aef49SAndrew Turner CSAN_ATOMIC_FUNC_READANDCLEAR(ptr, uintptr_t)
643849aef49SAndrew Turner CSAN_ATOMIC_FUNC_SET(ptr, uintptr_t)
644849aef49SAndrew Turner CSAN_ATOMIC_FUNC_SUBTRACT(ptr, uintptr_t)
645849aef49SAndrew Turner CSAN_ATOMIC_FUNC_STORE(ptr, uintptr_t)
646849aef49SAndrew Turner CSAN_ATOMIC_FUNC_SWAP(ptr, uintptr_t)
647849aef49SAndrew Turner #if 0
648849aef49SAndrew Turner CSAN_ATOMIC_FUNC_TESTANDCLEAR(ptr, uintptr_t)
649849aef49SAndrew Turner CSAN_ATOMIC_FUNC_TESTANDSET(ptr, uintptr_t)
650849aef49SAndrew Turner #endif
651849aef49SAndrew Turner 
652849aef49SAndrew Turner #define	CSAN_ATOMIC_FUNC_THREAD_FENCE(name)				\
653849aef49SAndrew Turner 	void kcsan_atomic_thread_fence_##name(void)			\
654849aef49SAndrew Turner 	{								\
655849aef49SAndrew Turner 		atomic_thread_fence_##name();				\
656849aef49SAndrew Turner 	}
657849aef49SAndrew Turner 
658849aef49SAndrew Turner CSAN_ATOMIC_FUNC_THREAD_FENCE(acq)
659849aef49SAndrew Turner CSAN_ATOMIC_FUNC_THREAD_FENCE(acq_rel)
660849aef49SAndrew Turner CSAN_ATOMIC_FUNC_THREAD_FENCE(rel)
661849aef49SAndrew Turner CSAN_ATOMIC_FUNC_THREAD_FENCE(seq_cst)
6620cb53570SAndrew Turner 
6630cb53570SAndrew Turner /* -------------------------------------------------------------------------- */
6640cb53570SAndrew Turner 
6650cb53570SAndrew Turner #include <sys/bus.h>
666849aef49SAndrew Turner #include <machine/bus.h>
667849aef49SAndrew Turner #include <sys/_cscan_bus.h>
6680cb53570SAndrew Turner 
669849aef49SAndrew Turner int
670849aef49SAndrew Turner kcsan_bus_space_map(bus_space_tag_t tag, bus_addr_t hnd, bus_size_t size,
671849aef49SAndrew Turner     int flags, bus_space_handle_t *handlep)
672849aef49SAndrew Turner {
6730cb53570SAndrew Turner 
674849aef49SAndrew Turner 	return (bus_space_map(tag, hnd, size, flags, handlep));
6750cb53570SAndrew Turner }
6760cb53570SAndrew Turner 
677849aef49SAndrew Turner void
678849aef49SAndrew Turner kcsan_bus_space_unmap(bus_space_tag_t tag, bus_space_handle_t hnd,
679849aef49SAndrew Turner     bus_size_t size)
680849aef49SAndrew Turner {
681849aef49SAndrew Turner 
682849aef49SAndrew Turner 	bus_space_unmap(tag, hnd, size);
6830cb53570SAndrew Turner }
6840cb53570SAndrew Turner 
685849aef49SAndrew Turner int
686849aef49SAndrew Turner kcsan_bus_space_subregion(bus_space_tag_t tag, bus_space_handle_t hnd,
687849aef49SAndrew Turner     bus_size_t offset, bus_size_t size, bus_space_handle_t *handlep)
688849aef49SAndrew Turner {
6890cb53570SAndrew Turner 
690849aef49SAndrew Turner 	return (bus_space_subregion(tag, hnd, offset, size, handlep));
691849aef49SAndrew Turner }
692849aef49SAndrew Turner 
693849aef49SAndrew Turner #if !defined(__amd64__)
694849aef49SAndrew Turner int
695849aef49SAndrew Turner kcsan_bus_space_alloc(bus_space_tag_t tag, bus_addr_t reg_start,
696849aef49SAndrew Turner     bus_addr_t reg_end, bus_size_t size, bus_size_t alignment,
697849aef49SAndrew Turner     bus_size_t boundary, int flags, bus_addr_t *addrp,
698849aef49SAndrew Turner     bus_space_handle_t *handlep)
699849aef49SAndrew Turner {
700849aef49SAndrew Turner 
701849aef49SAndrew Turner 	return (bus_space_alloc(tag, reg_start, reg_end, size, alignment,
702849aef49SAndrew Turner 	    boundary, flags, addrp, handlep));
703849aef49SAndrew Turner }
704849aef49SAndrew Turner #endif
705849aef49SAndrew Turner 
706849aef49SAndrew Turner void
707849aef49SAndrew Turner kcsan_bus_space_free(bus_space_tag_t tag, bus_space_handle_t hnd,
708849aef49SAndrew Turner     bus_size_t size)
709849aef49SAndrew Turner {
710849aef49SAndrew Turner 
711849aef49SAndrew Turner 	bus_space_free(tag, hnd, size);
712849aef49SAndrew Turner }
713849aef49SAndrew Turner 
714849aef49SAndrew Turner void
715849aef49SAndrew Turner kcsan_bus_space_barrier(bus_space_tag_t tag, bus_space_handle_t hnd,
716849aef49SAndrew Turner     bus_size_t offset, bus_size_t size, int flags)
717849aef49SAndrew Turner {
718849aef49SAndrew Turner 
719849aef49SAndrew Turner 	bus_space_barrier(tag, hnd, offset, size, flags);
720849aef49SAndrew Turner }
721849aef49SAndrew Turner 
722849aef49SAndrew Turner #define CSAN_BUS_READ_FUNC(func, width, type)				\
723849aef49SAndrew Turner 	type kcsan_bus_space_read##func##_##width(bus_space_tag_t tag,	\
724849aef49SAndrew Turner 	    bus_space_handle_t hnd, bus_size_t offset)			\
725849aef49SAndrew Turner 	{								\
726849aef49SAndrew Turner 		return (bus_space_read##func##_##width(tag, hnd,	\
727849aef49SAndrew Turner 		    offset));						\
728849aef49SAndrew Turner 	}								\
729849aef49SAndrew Turner 
730849aef49SAndrew Turner #define CSAN_BUS_READ_PTR_FUNC(func, width, type)			\
731849aef49SAndrew Turner 	void kcsan_bus_space_read_##func##_##width(bus_space_tag_t tag,	\
732849aef49SAndrew Turner 	    bus_space_handle_t hnd, bus_size_t size, type *buf,		\
733849aef49SAndrew Turner 	    bus_size_t count)						\
734849aef49SAndrew Turner 	{								\
735849aef49SAndrew Turner 		kcsan_access((uintptr_t)buf, sizeof(type) * count,	\
736849aef49SAndrew Turner 		    false, false, __RET_ADDR);				\
737849aef49SAndrew Turner 		bus_space_read_##func##_##width(tag, hnd, size, buf, 	\
738849aef49SAndrew Turner 		    count);						\
739849aef49SAndrew Turner 	}
740849aef49SAndrew Turner 
741849aef49SAndrew Turner CSAN_BUS_READ_FUNC(, 1, uint8_t)
742849aef49SAndrew Turner CSAN_BUS_READ_FUNC(_stream, 1, uint8_t)
743849aef49SAndrew Turner CSAN_BUS_READ_PTR_FUNC(multi, 1, uint8_t)
744849aef49SAndrew Turner CSAN_BUS_READ_PTR_FUNC(multi_stream, 1, uint8_t)
745849aef49SAndrew Turner CSAN_BUS_READ_PTR_FUNC(region, 1, uint8_t)
746849aef49SAndrew Turner CSAN_BUS_READ_PTR_FUNC(region_stream, 1, uint8_t)
747849aef49SAndrew Turner 
748849aef49SAndrew Turner CSAN_BUS_READ_FUNC(, 2, uint16_t)
749849aef49SAndrew Turner CSAN_BUS_READ_FUNC(_stream, 2, uint16_t)
750849aef49SAndrew Turner CSAN_BUS_READ_PTR_FUNC(multi, 2, uint16_t)
751849aef49SAndrew Turner CSAN_BUS_READ_PTR_FUNC(multi_stream, 2, uint16_t)
752849aef49SAndrew Turner CSAN_BUS_READ_PTR_FUNC(region, 2, uint16_t)
753849aef49SAndrew Turner CSAN_BUS_READ_PTR_FUNC(region_stream, 2, uint16_t)
754849aef49SAndrew Turner 
755849aef49SAndrew Turner CSAN_BUS_READ_FUNC(, 4, uint32_t)
756849aef49SAndrew Turner CSAN_BUS_READ_FUNC(_stream, 4, uint32_t)
757849aef49SAndrew Turner CSAN_BUS_READ_PTR_FUNC(multi, 4, uint32_t)
758849aef49SAndrew Turner CSAN_BUS_READ_PTR_FUNC(multi_stream, 4, uint32_t)
759849aef49SAndrew Turner CSAN_BUS_READ_PTR_FUNC(region, 4, uint32_t)
760849aef49SAndrew Turner CSAN_BUS_READ_PTR_FUNC(region_stream, 4, uint32_t)
761849aef49SAndrew Turner 
762849aef49SAndrew Turner CSAN_BUS_READ_FUNC(, 8, uint64_t)
763849aef49SAndrew Turner #if defined(__aarch64__)
764849aef49SAndrew Turner CSAN_BUS_READ_FUNC(_stream, 8, uint64_t)
765849aef49SAndrew Turner CSAN_BUS_READ_PTR_FUNC(multi, 8, uint64_t)
766849aef49SAndrew Turner CSAN_BUS_READ_PTR_FUNC(multi_stream, 8, uint64_t)
767849aef49SAndrew Turner CSAN_BUS_READ_PTR_FUNC(region, 8, uint64_t)
768849aef49SAndrew Turner CSAN_BUS_READ_PTR_FUNC(region_stream, 8, uint64_t)
769849aef49SAndrew Turner #endif
770849aef49SAndrew Turner 
771849aef49SAndrew Turner #define CSAN_BUS_WRITE_FUNC(func, width, type)				\
772849aef49SAndrew Turner 	void kcsan_bus_space_write##func##_##width(bus_space_tag_t tag,		\
773849aef49SAndrew Turner 	    bus_space_handle_t hnd, bus_size_t offset, type value)	\
774849aef49SAndrew Turner 	{								\
775849aef49SAndrew Turner 		bus_space_write##func##_##width(tag, hnd, offset, value); \
776849aef49SAndrew Turner 	}								\
777849aef49SAndrew Turner 
778849aef49SAndrew Turner #define CSAN_BUS_WRITE_PTR_FUNC(func, width, type)			\
779849aef49SAndrew Turner 	void kcsan_bus_space_write_##func##_##width(bus_space_tag_t tag, \
780849aef49SAndrew Turner 	    bus_space_handle_t hnd, bus_size_t size, const type *buf,	\
781849aef49SAndrew Turner 	    bus_size_t count)						\
782849aef49SAndrew Turner 	{								\
783849aef49SAndrew Turner 		kcsan_access((uintptr_t)buf, sizeof(type) * count,	\
784849aef49SAndrew Turner 		    true, false, __RET_ADDR);				\
785849aef49SAndrew Turner 		bus_space_write_##func##_##width(tag, hnd, size, buf, 	\
786849aef49SAndrew Turner 		    count);						\
787849aef49SAndrew Turner 	}
788849aef49SAndrew Turner 
789849aef49SAndrew Turner CSAN_BUS_WRITE_FUNC(, 1, uint8_t)
790849aef49SAndrew Turner CSAN_BUS_WRITE_FUNC(_stream, 1, uint8_t)
791849aef49SAndrew Turner CSAN_BUS_WRITE_PTR_FUNC(multi, 1, uint8_t)
792849aef49SAndrew Turner CSAN_BUS_WRITE_PTR_FUNC(multi_stream, 1, uint8_t)
793849aef49SAndrew Turner CSAN_BUS_WRITE_PTR_FUNC(region, 1, uint8_t)
794849aef49SAndrew Turner CSAN_BUS_WRITE_PTR_FUNC(region_stream, 1, uint8_t)
795849aef49SAndrew Turner 
796849aef49SAndrew Turner CSAN_BUS_WRITE_FUNC(, 2, uint16_t)
797849aef49SAndrew Turner CSAN_BUS_WRITE_FUNC(_stream, 2, uint16_t)
798849aef49SAndrew Turner CSAN_BUS_WRITE_PTR_FUNC(multi, 2, uint16_t)
799849aef49SAndrew Turner CSAN_BUS_WRITE_PTR_FUNC(multi_stream, 2, uint16_t)
800849aef49SAndrew Turner CSAN_BUS_WRITE_PTR_FUNC(region, 2, uint16_t)
801849aef49SAndrew Turner CSAN_BUS_WRITE_PTR_FUNC(region_stream, 2, uint16_t)
802849aef49SAndrew Turner 
803849aef49SAndrew Turner CSAN_BUS_WRITE_FUNC(, 4, uint32_t)
804849aef49SAndrew Turner CSAN_BUS_WRITE_FUNC(_stream, 4, uint32_t)
805849aef49SAndrew Turner CSAN_BUS_WRITE_PTR_FUNC(multi, 4, uint32_t)
806849aef49SAndrew Turner CSAN_BUS_WRITE_PTR_FUNC(multi_stream, 4, uint32_t)
807849aef49SAndrew Turner CSAN_BUS_WRITE_PTR_FUNC(region, 4, uint32_t)
808849aef49SAndrew Turner CSAN_BUS_WRITE_PTR_FUNC(region_stream, 4, uint32_t)
809849aef49SAndrew Turner 
810849aef49SAndrew Turner CSAN_BUS_WRITE_FUNC(, 8, uint64_t)
811849aef49SAndrew Turner #if defined(__aarch64__)
812849aef49SAndrew Turner CSAN_BUS_WRITE_FUNC(_stream, 8, uint64_t)
813849aef49SAndrew Turner CSAN_BUS_WRITE_PTR_FUNC(multi, 8, uint64_t)
814849aef49SAndrew Turner CSAN_BUS_WRITE_PTR_FUNC(multi_stream, 8, uint64_t)
815849aef49SAndrew Turner CSAN_BUS_WRITE_PTR_FUNC(region, 8, uint64_t)
816849aef49SAndrew Turner CSAN_BUS_WRITE_PTR_FUNC(region_stream, 8, uint64_t)
817849aef49SAndrew Turner #endif
818849aef49SAndrew Turner 
819849aef49SAndrew Turner #define CSAN_BUS_SET_FUNC(func, width, type)				\
820849aef49SAndrew Turner 	void kcsan_bus_space_set_##func##_##width(bus_space_tag_t tag,	\
821849aef49SAndrew Turner 	    bus_space_handle_t hnd, bus_size_t offset, type value,	\
822849aef49SAndrew Turner 	    bus_size_t count)						\
823849aef49SAndrew Turner 	{								\
824849aef49SAndrew Turner 		bus_space_set_##func##_##width(tag, hnd, offset, value,	\
825849aef49SAndrew Turner 		    count);						\
826849aef49SAndrew Turner 	}
827849aef49SAndrew Turner 
828849aef49SAndrew Turner CSAN_BUS_SET_FUNC(multi, 1, uint8_t)
829849aef49SAndrew Turner CSAN_BUS_SET_FUNC(region, 1, uint8_t)
830bba0065fSAndrew Turner #if !defined(__aarch64__)
831bba0065fSAndrew Turner CSAN_BUS_SET_FUNC(multi_stream, 1, uint8_t)
832849aef49SAndrew Turner CSAN_BUS_SET_FUNC(region_stream, 1, uint8_t)
833bba0065fSAndrew Turner #endif
834849aef49SAndrew Turner 
835849aef49SAndrew Turner CSAN_BUS_SET_FUNC(multi, 2, uint16_t)
836849aef49SAndrew Turner CSAN_BUS_SET_FUNC(region, 2, uint16_t)
837bba0065fSAndrew Turner #if !defined(__aarch64__)
838bba0065fSAndrew Turner CSAN_BUS_SET_FUNC(multi_stream, 2, uint16_t)
839849aef49SAndrew Turner CSAN_BUS_SET_FUNC(region_stream, 2, uint16_t)
840bba0065fSAndrew Turner #endif
841849aef49SAndrew Turner 
842849aef49SAndrew Turner CSAN_BUS_SET_FUNC(multi, 4, uint32_t)
843849aef49SAndrew Turner CSAN_BUS_SET_FUNC(region, 4, uint32_t)
844bba0065fSAndrew Turner #if !defined(__aarch64__)
845bba0065fSAndrew Turner CSAN_BUS_SET_FUNC(multi_stream, 4, uint32_t)
846849aef49SAndrew Turner CSAN_BUS_SET_FUNC(region_stream, 4, uint32_t)
847bba0065fSAndrew Turner #endif
848849aef49SAndrew Turner 
849849aef49SAndrew Turner #if !defined(__amd64__)
850849aef49SAndrew Turner CSAN_BUS_SET_FUNC(multi, 8, uint64_t)
851849aef49SAndrew Turner CSAN_BUS_SET_FUNC(region, 8, uint64_t)
852bba0065fSAndrew Turner #if !defined(__aarch64__)
853bba0065fSAndrew Turner CSAN_BUS_SET_FUNC(multi_stream, 8, uint64_t)
854849aef49SAndrew Turner CSAN_BUS_SET_FUNC(region_stream, 8, uint64_t)
855849aef49SAndrew Turner #endif
856bba0065fSAndrew Turner #endif
857849aef49SAndrew Turner 
858