38 #define	KCSAN_BS_MULTI(rw, width, type)					\  argument
39 	void kcsan_bus_space_##rw##_multi_##width(bus_space_tag_t, 	\
41 	void kcsan_bus_space_##rw##_multi_stream_##width(bus_space_tag_t, \
43 	void kcsan_bus_space_##rw##_region_##width(bus_space_tag_t,	\
45 	void kcsan_bus_space_##rw##_region_stream_##width(bus_space_tag_t, \
48 #define	KCSAN_BS_READ(width, type)					\  argument
49 	type kcsan_bus_space_read_##width(bus_space_tag_t, 		\
51 	type kcsan_bus_space_read_stream_##width(bus_space_tag_t,	\
53 	KCSAN_BS_MULTI(read, width, type)
55 #define	KCSAN_BS_WRITE(width, type)					\  argument
56 	void kcsan_bus_space_write_##width(bus_space_tag_t, 		\
58 	void kcsan_bus_space_write_stream_##width(bus_space_tag_t,	\
60 	KCSAN_BS_MULTI(write, width, const type)
62 #define	KCSAN_BS_SET(width, type)					\  argument
63 	void kcsan_bus_space_set_multi_##width(bus_space_tag_t, 	\
65 	void kcsan_bus_space_set_multi_stream_##width(bus_space_tag_t, \
67 	void kcsan_bus_space_set_region_##width(bus_space_tag_t,	\
69 	void kcsan_bus_space_set_region_stream_##width(bus_space_tag_t, \
72 #define	KCSAN_BS_COPY(width, type)					\  argument
73 	void kcsan_bus_space_copy_region_##width(bus_space_tag_t,	\
76 	void kcsan_bus_space_copy_region_stream_##width(bus_space_tag_t, \
80 #define	KCSAN_BS_PEEK(width, type)					\  argument
81 	int kcsan_bus_space_peek_##width(bus_space_tag_t, 		\
84 #define	KCSAN_BS_POKE(width, type)					\  argument
85 	int kcsan_bus_space_poke_##width(bus_space_tag_t, 		\
88 #define	KCSAN_BS(width, type)						\  argument
89 	KCSAN_BS_READ(width, type);					\
90 	KCSAN_BS_WRITE(width, type);					\
91 	KCSAN_BS_SET(width, type);					\
92 	KCSAN_BS_COPY(width, type)					\
93 	KCSAN_BS_PEEK(width, type);					\
94 	KCSAN_BS_POKE(width, type);