Searched refs:timer_was_set (Results 1 – 1 of 1) sorted by relevance
474 const bool timer_was_set = timer_set; in reschedule_root_alarm() local529 if (timer_was_set && !timer_set) { in reschedule_root_alarm()