Function get_timer_id

icicle-cortexm/fuzzware-native/timer.c:23–25

static inline int get_timer_id(struct TimerState* timers, struct Timer *tim) {
    return (uint32_t) (tim - &timers->timers[0]);
}

void print_timer(struct TimerState* timers, uint32_t id) {
    struct Timer *t = &timers->timers[id];