Searched refs:mutex_to_tid (Results 1 – 1 of 1) sorted by relevance
1226 std::unordered_map<void*, pid_order_index_pair_t> mutex_to_tid; in deadlock_detection() local1241 mutex_to_tid[mutex_ptr] = pid_order_index_pair_t{tid2, order}; in deadlock_detection()1257 if (m != nullptr && mutex_to_tid.count(m)) { in deadlock_detection()1259 std::tie(tid2, order) = mutex_to_tid[m]; in deadlock_detection()