Searched refs:finite_time (Results 1 – 1 of 1) sorted by relevance
170 const bool finite_time = !end_time.is_max(); in TimedWaitUntil() local196 if (sw.fired() || (finite_time && current_time >= end_time)) { in TimedWaitUntil()219 if (finite_time) { in TimedWaitUntil()