Function reload_timer

icicle-cortexm/fuzzware-native/timer.c:231–258

}

uc_err reload_timer(uc_engine *uc, uint32_t id) {
    struct TimerState* timers = &uc->fw->timers;
    #ifdef DEBUG_TIMER
    // This is a rather hot path due to input consumption timeouts, so skip checks outside debugging
    if(id >= MAX_TIMERS) {
        perror("[TIMER ERROR] reload_timer: Too high id passed\n");
        exit(-1);
    } else if(!timers->timers[id].in_use) {
        printf("[TIMER ERROR] reload_timer: Unused timer to be reset (id=%u)\n", id);
        print_timer(id);
        exit(-1);
    }

    printf("[TIMER] reload_timer(%d)\n", id); fflush(stdout);
    #endif

    struct Timer *tim = &timers->timers[id];

    if(tim->is_active) {
        uc->get_timer_countdown(uc->ctx, &uc->fw->timers.cur_countdown);
        tim->ticker_val = tim->reload_val + (timers->cur_interval-timers->cur_countdown);
        sort_timer_back(timers, tim);
    } else {
        tim->ticker_val = tim->reload_val;
    }

    return UC_ERR_OK;
}

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