| 1017 | } |
| 1018 | |
| 1019 | void trace2_timer_stop(enum trace2_timer_id tid) |
| 1020 | { |
| 1021 | if (!trace2_enabled) |
| 1022 | return; |
| 1023 | |
| 1024 | if (tid < 0 || tid >= TRACE2_NUMBER_OF_TIMERS) |
| 1025 | BUG("trace2_timer_stop: invalid timer id: %d", tid); |
| 1026 | |
| 1027 | tr2_stop_timer(tid); |
| 1028 | } |
| 1029 | |
| 1030 | void trace2_counter_add(enum trace2_counter_id cid, uint64_t value) |
| 1031 | { |