1 // SPDX-License-Identifier: GPL-2.0+
2 /*
3  * x86-specific information for the 'bd' command
4  *
5  * Copyright 2021 Google LLC
6  */
7 
8 #include <common.h>
9 #include <efi.h>
10 #include <init.h>
11 #include <asm/cpu.h>
12 #include <asm/efi.h>
13 #include <asm/global_data.h>
14 
15 DECLARE_GLOBAL_DATA_PTR;
16 
arch_print_bdinfo(void)17 void arch_print_bdinfo(void)
18 {
19 	bdinfo_print_num_l("prev table", gd->arch.table);
20 	bdinfo_print_num_l("clock_rate", gd->arch.clock_rate);
21 	bdinfo_print_num_l("tsc_base", gd->arch.tsc_base);
22 	bdinfo_print_num_l("vendor", gd->arch.x86_vendor);
23 	bdinfo_print_str(" name", cpu_vendor_name(gd->arch.x86_vendor));
24 	bdinfo_print_num_l("model", gd->arch.x86_model);
25 
26 	if (IS_ENABLED(CONFIG_EFI_STUB))
27 		efi_show_bdinfo();
28 }
29