85a86
> int m_deadlock_threshold;
100a102,103
> // When a vc stays busy for a long time, it indicates a deadlock
> std::vector<int> vc_busy_counter;