std::core::sanitizer::tsan

mutex_post_divert

macro void mutex_post_divert(void* addr, MutexFlags flags)