| 296 | } |
| 297 | |
| 298 | uint32_t is_running(struct TimerState* timers, uint32_t id) { |
| 299 | if(id >= MAX_TIMERS) { |
| 300 | perror("[TIMER ERROR] is_running: Too high id passed\n"); |
| 301 | exit(-1); |
| 302 | } |
| 303 | return timers->timers[id].is_active; |
| 304 | } |
| 305 | |
| 306 | uint64_t curr_val(struct TimerState* timers, uint32_t id) { |
| 307 | if(id >= MAX_TIMERS) { |
nothing calls this directly
no outgoing calls
no test coverage detected