Searched refs:mutex_ptr (Results 1 – 1 of 1) sorted by relevance
1238 const auto mutex_ptr = mutex_order_pair.first.load(); in deadlock_detection() local1240 if (mutex_ptr != nullptr) { in deadlock_detection()1241 mutex_to_tid[mutex_ptr] = pid_order_index_pair_t{tid2, order}; in deadlock_detection()