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