138         // We may not find the timer in _all_timers if the timer has fired,  in remove_from_all_timers()
197             // are in the past and they all fired.  Just ignore the request and  in reprogram_system_timer()
204         // whose deadline lies in the past but that have not yet fired for  in reprogram_system_timer()
215                 // timers are in the past but they have not yet fired.  in reprogram_system_timer()
394     /// Whether this timer has fired already or not.
398     volatile bool fired;  member
404         when(when_), programmed(true), fired(false)  in impl()
453     if (!_pimpl->fired) {  in ~timer()
456             LW("Expired timer never fired; the code never called unprogram()!");  in ~timer()
480     PRE(!_pimpl->fired);  in do_fired()
481     _pimpl->fired = true;  in do_fired()
500 /// Checks whether the timer has fired already or not.
502 /// \return Returns true if the timer has fired.
504 signals::timer::fired(void) const  in fired()  function in signals::timer
506     return _pimpl->fired;  in fired()
514 /// \post If the timer never fired asynchronously because the signal delivery
539     if (!_pimpl->fired) {  in unprogram()