.. | .. |
---|
22 | 22 | #include <asm/byteorder.h> |
---|
23 | 23 | #include <linux/libfdt.h> |
---|
24 | 24 | #include <mapmem.h> |
---|
| 25 | +#include <mp_boot.h> |
---|
25 | 26 | #include <fdt_support.h> |
---|
26 | 27 | #include <asm/bootm.h> |
---|
27 | 28 | #include <asm/secure.h> |
---|
.. | .. |
---|
80 | 81 | */ |
---|
81 | 82 | static void announce_and_cleanup(bootm_headers_t *images, int fake) |
---|
82 | 83 | { |
---|
83 | | - ulong us; |
---|
| 84 | + ulong us, tt_us; |
---|
84 | 85 | |
---|
85 | 86 | bootstage_mark_name(BOOTSTAGE_ID_BOOTM_HANDOFF, "start_kernel"); |
---|
86 | 87 | #ifdef CONFIG_BOOTSTAGE_FDT |
---|
.. | .. |
---|
108 | 109 | |
---|
109 | 110 | cleanup_before_linux(); |
---|
110 | 111 | |
---|
| 112 | +#ifdef CONFIG_MP_BOOT |
---|
| 113 | + mpb_post(4); |
---|
| 114 | +#endif |
---|
111 | 115 | us = (get_ticks() - gd->sys_start_tick) / (COUNTER_FREQUENCY / 1000000); |
---|
112 | | - printf("Total: %ld.%ld ms\n", us / 1000, us % 1000); |
---|
| 116 | + tt_us = get_ticks() / (COUNTER_FREQUENCY / 1000000); |
---|
| 117 | + printf("Total: %ld.%ld/%ld.%ld ms\n", us / 1000, us % 1000, tt_us / 1000, tt_us % 1000); |
---|
113 | 118 | |
---|
114 | 119 | printf("\nStarting kernel ...%s\n\n", fake ? |
---|
115 | 120 | "(fake run for tracing)" : ""); |
---|