Searched refs:color_clock (Results 1 – 2 of 2) sorted by relevance
159 void set_color_clock(int color_clock) { m_color_clock = color_clock; } in set_color_clock() argument