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
14DECLARE_GLOBAL_DATA_PTR;
15
16int 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
27void 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_IS_ENABLED(SYS_MALLOC_F)
61	printf("Early malloc usage: %lx / %x\n", gd->malloc_ptr,
62	       CONFIG_VAL(SYS_MALLOC_F_LEN));
63#endif
64}
65