1 // SPDX-License-Identifier: GPL-2.0+
3 * ARM-specific information for the 'bd' command
6 * Wolfgang Denk, DENX Software Engineering, wd@denx.de.
12 DECLARE_GLOBAL_DATA_PTR;
14 void arch_print_bdinfo(void)
16 struct bd_info *bd = gd->bd;
18 bdinfo_print_num("arch_number", bd->bi_arch_number);
19 #ifdef CONFIG_SYS_MEM_RESERVE_SECURE
20 if (gd->arch.secure_ram & MEM_RESERVE_SECURE_SECURED) {
21 bdinfo_print_num("Secure ram",
23 MEM_RESERVE_SECURE_ADDR_MASK);
26 #ifdef CONFIG_RESV_RAM
27 if (gd->arch.resv_ram)
28 bdinfo_print_num("Reserved ram", gd->arch.resv_ram);
30 #if !(CONFIG_IS_ENABLED(SYS_ICACHE_OFF) && CONFIG_IS_ENABLED(SYS_DCACHE_OFF))
31 bdinfo_print_num("TLB addr", gd->arch.tlb_addr);
33 bdinfo_print_num("irq_sp", gd->irq_sp); /* irq stack pointer */
34 bdinfo_print_num("sp start ", gd->start_addr_sp);
36 * TODO: Currently only support for davinci SOC's is added.
37 * Remove this check once all the board implement this.
40 printf("ARM frequency = %ld MHz\n", bd->bi_arm_freq);
41 printf("DSP frequency = %ld MHz\n", bd->bi_dsp_freq);
42 printf("DDR frequency = %ld MHz\n", bd->bi_ddr_freq);
44 #ifdef CONFIG_BOARD_TYPES
45 printf("Board Type = %ld\n", gd->board_type);
47 #if CONFIG_VAL(SYS_MALLOC_F_LEN)
48 printf("Early malloc usage: %lx / %x\n", gd->malloc_ptr,
49 CONFIG_VAL(SYS_MALLOC_F_LEN));