x86: Show the timestamp counter with bdinfo

Add a line to the 'bdinfo' command which shows the current value of the
TSC.

Signed-off-by: Simon Glass <sjg@chromium.org>

diff --git a/arch/x86/lib/bdinfo.c b/arch/x86/lib/bdinfo.c
index bd2cf0b..4b016d4 100644 (file)
--- a/arch/x86/lib/bdinfo.c
+++ b/arch/x86/lib/bdinfo.c
@@ -33,6 +33,8 @@ void arch_print_bdinfo(void)
        bdinfo_print_num_l(" high start", gd->arch.table_start_high);
        bdinfo_print_num_l(" high end", gd->arch.table_end_high);
 
+       bdinfo_print_num_ll("tsc", rdtsc());
+
        if (IS_ENABLED(CONFIG_EFI_STUB))
                efi_show_bdinfo();
 }