| // SPDX-License-Identifier: GPL-2.0+ |
| * x86-specific information for the 'bd' command |
| * Copyright 2021 Google LLC |
| #include <asm/global_data.h> |
| void arch_print_bdinfo(void) |
| bdinfo_print_num_l("prev table", gd->arch.table); |
| bdinfo_print_num_l("clock_rate", gd->arch.clock_rate); |
| bdinfo_print_num_l("tsc_base", gd->arch.tsc_base); |
| bdinfo_print_num_l("vendor", gd->arch.x86_vendor); |
| bdinfo_print_str(" name", cpu_vendor_name(gd->arch.x86_vendor)); |
| bdinfo_print_num_l("model", gd->arch.x86_model); |
| bdinfo_print_num_l("phys_addr in bits", cpu_phys_address_size()); |
| bdinfo_print_num_l("table start", gd->arch.table_start); |
| bdinfo_print_num_l("table end", gd->arch.table_end); |
| bdinfo_print_num_l(" high start", gd->arch.table_start_high); |
| bdinfo_print_num_l(" high end", gd->arch.table_end_high); |
| if (IS_ENABLED(CONFIG_EFI_STUB)) |