Symbol: __tsan_write_range
kernel/kcsan/core.c
1035
void __tsan_write_range(void *ptr, size_t size);
kernel/kcsan/core.c
1040
EXPORT_SYMBOL(__tsan_write_range);