Function timer_countdown_expired

icicle-cortexm/fuzzware-native/timer.c:319–375

}

ATTRIBUTE_NO_INLINE
void timer_countdown_expired(uc_engine *uc) {
    #ifdef DEBUG_TIMER
    puts("======= Timer state PRE ======= ");
    print_timer_state();
    fflush(stdout);
    #endif
    struct TimerState* timers = &uc->fw->timers;
    struct Timer *initial_head = timers->active_head;
    struct Timer *cursor;
    if(initial_head) {
        // Sync timers
        uint64_t elapsed = timers->cur_interval;
        timers->global_ticker += elapsed;
        for(cursor = initial_head; cursor; cursor = cursor->next) {
            cursor->ticker_val -= elapsed;
        }

        // Trigger and reload the timers which timeouted
        for (cursor = initial_head; cursor->ticker_val == 0; cursor = timers->active_head) {
            cursor->ticker_val = cursor->reload_val;
            sort_timer_back(timers, cursor);

            // Ding!
            #ifdef DEBUG_TIMER
            uc->timer_expired(uc->ctx, get_timer_id(timers, cursor), cursor);
            printf("[TIMER] Ding! Timer %d is going off. Reloading to %ld\n", get_timer_id(timers, cursor), cursor->reload_val);
            #endif
            if(cursor->irq_num != TIMER_IRQ_NOT_USED) {
                // pend interrupt
                #ifdef DEBUG_TIMER
                printf("[TIMER] Pending irq %d\n", cursor->irq_num);
                #endif
                nvic_set_pending(uc, cursor->irq_num, false);
            }
            if(cursor->trigger_callback != NULL) {
                // call timer callback
                #ifdef DEBUG_TIMER
                puts("[TIMER] Calling timer callback");
                #endif
                cursor->trigger_callback(uc, get_timer_id(timers, cursor), cursor->trigger_cb_user_data);
            }
        }

        // Set interval to the front's ticker
        timers->cur_interval = cursor->ticker_val;
    }

    timers->cur_countdown = timers->cur_interval;
    uc->set_timer_countdown(uc->ctx, uc->fw->timers.cur_countdown);

    #ifdef DEBUG_TIMER
    puts("======= Timer state POST ======= ");
    print_timer_state();
    fflush(stdout);
    #endif
}