| 25 | } |
| 26 | |
| 27 | void print_timer(struct TimerState* timers, uint32_t id) { |
| 28 | struct Timer *t = &timers->timers[id]; |
| 29 | printf("=== TIMER %d ===\nticker_val=%ld\nreload_val=%ld\nin_use=%d\nis_active=%d\n=============\n", id, t->ticker_val, t->reload_val, t->in_use, t->is_active); |
| 30 | } |
| 31 | |
| 32 | void print_timer_state(struct TimerState* timers) { |
| 33 | int i; |
no outgoing calls
no test coverage detected