Searched refs:__tsan_write_range (Results 1 – 3 of 3) sorted by relevance
64 void __tsan_write_range(void *addr, unsigned long size); // NOLINT
83 void __tsan_write_range(void *addr, uptr size) { in __tsan_write_range() function
131 void __tsan_write_range(ThreadState *thr, void *addr, uptr size, uptr pc) { in __tsan_write_range() function