| 1006 | } |
| 1007 | |
| 1008 | void trace2_timer_start(enum trace2_timer_id tid) |
| 1009 | { |
| 1010 | if (!trace2_enabled) |
| 1011 | return; |
| 1012 | |
| 1013 | if (tid < 0 || tid >= TRACE2_NUMBER_OF_TIMERS) |
| 1014 | BUG("trace2_timer_start: invalid timer id: %d", tid); |
| 1015 | |
| 1016 | tr2_start_timer(tid); |
| 1017 | } |
| 1018 | |
| 1019 | void trace2_timer_stop(enum trace2_timer_id tid) |
| 1020 | { |