Function sync_timers

icicle-cortexm/fuzzware-native/timer.c:93–115

}

static inline void sync_timers(uc_engine *uc) {
    uc->get_timer_countdown(uc->ctx, &uc->fw->timers.cur_countdown);

    // This does not perform reloading as syncing is assumed to only occur and to be handled
    // within the timer callback. All manual timer syncs are on a non-elapsed state

    // In case the countdown is 0, we are currently handling timer timer callbacks
    struct TimerState* timers = &uc->fw->timers;
    if(timers->cur_countdown != 0) {
        int64_t elapsed = timers->cur_interval - timers->cur_countdown;

        #ifdef DEBUG_TIMER
        printf("[sync_timers] timers.cur_interval: %lu, timers.cur_countdown: %lu -> elapsed: %ld\n", timers->cur_interval, timers->cur_countdown, elapsed); fflush(NULL);
        #endif

        timers->global_ticker += elapsed;
        timers->cur_interval = timers->cur_countdown;

        for(struct Timer *cursor=timers->active_head; cursor; cursor = cursor->next) {
            cursor->ticker_val -= elapsed;
        }
    }
}

uc_err rem_timer(uc_engine *uc, uint32_t id) {
    struct TimerState* timers = &uc->fw->timers;