| 27 | } |
| 28 | |
| 29 | static void console_time_stop(void) |
| 30 | { |
| 31 | if (TRACK_CONSOLE_TIME && boot_cpu()) { |
| 32 | timer_monotonic_get(&mt_stop); |
| 33 | console_usecs += mono_time_diff_microseconds(&mt_start, &mt_stop); |
| 34 | } |
| 35 | } |
| 36 | |
| 37 | void console_time_report(void) |
| 38 | { |
no test coverage detected