80   bool enqueue_timer(const time_type& time, per_timer_data& timer, wait_op* op)  in enqueue_timer()  argument
83     if (timer.prev_ == 0 && &timer != timers_)  in enqueue_timer()
88         timer.heap_index_ = (std::numeric_limits<std::size_t>::max)();  in enqueue_timer()
94         timer.heap_index_ = heap_.size();  in enqueue_timer()
95         heap_entry entry = { time, &timer };  in enqueue_timer()
101       timer.next_ = timers_;  in enqueue_timer()
102       timer.prev_ = 0;  in enqueue_timer()
104         timers_->prev_ = &timer;  in enqueue_timer()
105       timers_ = &timer;  in enqueue_timer()
109     timer.op_queue_.push(op);  in enqueue_timer()
112     return timer.heap_index_ == 0 && timer.op_queue_.front() == op;  in enqueue_timer()
153         per_timer_data* timer = heap_[0].timer_;  in get_ready_timers()  local
154         ops.push(timer->op_queue_);  in get_ready_timers()
155         remove_timer(*timer);  in get_ready_timers()
165       per_timer_data* timer = timers_;  in get_all_timers()  local
167       ops.push(timer->op_queue_);  in get_all_timers()
168       timer->next_ = 0;  in get_all_timers()
169       timer->prev_ = 0;  in get_all_timers()
176   std::size_t cancel_timer(per_timer_data& timer, op_queue<operation>& ops,  in cancel_timer()  argument
180     if (timer.prev_ != 0 || &timer == timers_)  in cancel_timer()
183           ? timer.op_queue_.front() : 0)  in cancel_timer()
186         timer.op_queue_.pop();  in cancel_timer()
190       if (timer.op_queue_.empty())  in cancel_timer()
191         remove_timer(timer);  in cancel_timer()
262   void remove_timer(per_timer_data& timer)  in remove_timer()  argument
265     std::size_t index = timer.heap_index_;  in remove_timer()
270         timer.heap_index_ = (std::numeric_limits<std::size_t>::max)();  in remove_timer()
276         timer.heap_index_ = (std::numeric_limits<std::size_t>::max)();  in remove_timer()
287     if (timers_ == &timer)  in remove_timer()
288       timers_ = timer.next_;  in remove_timer()
289     if (timer.prev_)  in remove_timer()
290       timer.prev_->next_ = timer.next_;  in remove_timer()
291     if (timer.next_)  in remove_timer()
292       timer.next_->prev_= timer.prev_;  in remove_timer()
293     timer.next_ = 0;  in remove_timer()
294     timer.prev_ = 0;  in remove_timer()