1 // SPDX-License-Identifier: GPL-2.0+
2 /*
3 * ARM-specific information for the 'bd' command
4 *
5 * (C) Copyright 2003
6 * Wolfgang Denk, DENX Software Engineering, wd@denx.de.
7 */
8
9 #include <common.h>
10 #include <init.h>
11 #include <asm/global_data.h>
12 #include <asm/mach-types.h>
13
14 DECLARE_GLOBAL_DATA_PTR;
15
arch_setup_bdinfo(void)16 int arch_setup_bdinfo(void)
17 {
18 #ifdef CONFIG_MACH_TYPE
19 struct bd_info *bd = gd->bd;
20
21 bd->bi_arch_number = CONFIG_MACH_TYPE; /* board id for Linux */
22 #endif
23
24 return 0;
25 }
26
arch_print_bdinfo(void)27 void arch_print_bdinfo(void)
28 {
29 struct bd_info *bd = gd->bd;
30
31 bdinfo_print_num_l("arch_number", bd->bi_arch_number);
32 #ifdef CFG_SYS_MEM_RESERVE_SECURE
33 if (gd->arch.secure_ram & MEM_RESERVE_SECURE_SECURED) {
34 bdinfo_print_num_ll("Secure ram",
35 gd->arch.secure_ram &
36 MEM_RESERVE_SECURE_ADDR_MASK);
37 }
38 #endif
39 #ifdef CONFIG_RESV_RAM
40 if (gd->arch.resv_ram)
41 bdinfo_print_num_ll("Reserved ram", gd->arch.resv_ram);
42 #endif
43 #if !(CONFIG_IS_ENABLED(SYS_ICACHE_OFF) && CONFIG_IS_ENABLED(SYS_DCACHE_OFF))
44 bdinfo_print_num_l("TLB addr", gd->arch.tlb_addr);
45 #endif
46 bdinfo_print_num_l("irq_sp", gd->irq_sp); /* irq stack pointer */
47 bdinfo_print_num_l("sp start ", gd->start_addr_sp);
48 /*
49 * TODO: Currently only support for davinci SOC's is added.
50 * Remove this check once all the board implement this.
51 */
52 #ifdef CONFIG_CLOCKS
53 printf("ARM frequency = %ld MHz\n", bd->bi_arm_freq);
54 printf("DSP frequency = %ld MHz\n", bd->bi_dsp_freq);
55 printf("DDR frequency = %ld MHz\n", bd->bi_ddr_freq);
56 #endif
57 #ifdef CONFIG_BOARD_TYPES
58 printf("Board Type = %ld\n", gd->board_type);
59 #endif
60 #if CONFIG_VAL(SYS_MALLOC_F_LEN)
61 printf("Early malloc usage: %lx / %x\n", gd->malloc_ptr,
62 CONFIG_VAL(SYS_MALLOC_F_LEN));
63 #endif
64 }
65