| 17 | static unsigned long tick_freq_mhz; |
| 18 | |
| 19 | static const char *timestamp_name(uint32_t id) |
| 20 | { |
| 21 | for (size_t i = 0; i < ARRAY_SIZE(timestamp_ids); i++) { |
| 22 | if (timestamp_ids[i].id == id) |
| 23 | return timestamp_ids[i].name; |
| 24 | } |
| 25 | |
| 26 | return "<unknown>"; |
| 27 | } |
| 28 | |
| 29 | static void timestamp_set_tick_freq(unsigned long table_tick_freq_mhz) |
| 30 | { |
no outgoing calls
no test coverage detected