Function remove_active_timer

icicle-cortexm/fuzzware-native/timer.c:183–199

}

static inline void remove_active_timer(uc_engine *uc, struct Timer *tim) {
    struct TimerState* timers = &uc->fw->timers;
    struct Timer *cursor = timers->active_head;

    sync_timers(uc);

    if(cursor == tim ) {
        // We are changing the front, so also the intermediate ticks
        timers->active_head = tim->next;
        timers->cur_countdown = timers->cur_interval = timers->active_head->ticker_val;
        uc->set_timer_countdown(uc->ctx, uc->fw->timers.cur_countdown);
    } else {
        // We are changing something in the middle, we can just unlink it
        for(; cursor->next != tim; cursor = cursor->next);
        cursor->next = tim->next;
    }
}

static inline void sort_timer_back(struct TimerState* timers, struct Timer *tim) {
    struct Timer *cursor;