Function set_timer_reload_val

icicle-cortexm/fuzzware-native/timer.c:260–292

}

uc_err set_timer_reload_val(uc_engine *uc, uint32_t id, uint64_t reload_val) {
    struct TimerState* timers = &uc->fw->timers;
    #ifdef DEBUG_TIMER
    printf("[TIMER] set_timer_reload_val(id = %d, reload_val=%ld)\n", id, reload_val); fflush(stdout);
    #endif

    if(id >= MAX_TIMERS) {
        perror("[TIMER ERROR] set_timer_reload_val: Too high id passed\n");
        exit(-1);
    }

    if(reload_val == 0) {
        reload_val = MAX_RELOAD_VAL;
    }

    struct Timer *tim = &timers->timers[id];
    if(tim->reload_val == reload_val) {
        return UC_ERR_OK;
    }

    if (tim->is_active) {
        // For active timers, we remove and re-insert to maintain fast-path sorting logic
        remove_active_timer(uc, tim);
        tim->reload_val = reload_val;
        tim->ticker_val = reload_val;
        insert_active_timer(uc, tim);
    } else {
        tim->reload_val = reload_val;
        tim->ticker_val = reload_val;
    }

    return UC_ERR_OK;
}

uint32_t get_timer_scale(struct FwContext* fw) {
    return fw->config.timer_scale;