Function curr_val

icicle-cortexm/fuzzware-native/timer.c:306–312

}

uint64_t curr_val(struct TimerState* timers, uint32_t id) {
    if(id >= MAX_TIMERS) {
        perror("[TIMER ERROR] curr_val: Too high id passed\n");
        exit(-1);
    }
    return timers->timers[id].ticker_val;
}

uint64_t get_global_ticker(uc_engine *uc) {
    sync_timers(uc);