53 lines
1.5 KiB
C
53 lines
1.5 KiB
C
// SPDX-License-Identifier: GPL-2.0+
|
|
/*
|
|
* ARM-specific information for the 'bd' command
|
|
*
|
|
* (C) Copyright 2003
|
|
* Wolfgang Denk, DENX Software Engineering, wd@denx.de.
|
|
*/
|
|
|
|
#include <common.h>
|
|
#include <init.h>
|
|
#include <asm/global_data.h>
|
|
|
|
DECLARE_GLOBAL_DATA_PTR;
|
|
|
|
void arch_print_bdinfo(void)
|
|
{
|
|
struct bd_info *bd = gd->bd;
|
|
|
|
bdinfo_print_num("arch_number", bd->bi_arch_number);
|
|
#ifdef CONFIG_SYS_MEM_RESERVE_SECURE
|
|
if (gd->arch.secure_ram & MEM_RESERVE_SECURE_SECURED) {
|
|
bdinfo_print_num("Secure ram",
|
|
gd->arch.secure_ram &
|
|
MEM_RESERVE_SECURE_ADDR_MASK);
|
|
}
|
|
#endif
|
|
#ifdef CONFIG_RESV_RAM
|
|
if (gd->arch.resv_ram)
|
|
bdinfo_print_num("Reserved ram", gd->arch.resv_ram);
|
|
#endif
|
|
#if !(CONFIG_IS_ENABLED(SYS_ICACHE_OFF) && CONFIG_IS_ENABLED(SYS_DCACHE_OFF))
|
|
bdinfo_print_num("TLB addr", gd->arch.tlb_addr);
|
|
#endif
|
|
bdinfo_print_num("irq_sp", gd->irq_sp); /* irq stack pointer */
|
|
bdinfo_print_num("sp start ", gd->start_addr_sp);
|
|
/*
|
|
* TODO: Currently only support for davinci SOC's is added.
|
|
* Remove this check once all the board implement this.
|
|
*/
|
|
#ifdef CONFIG_CLOCKS
|
|
printf("ARM frequency = %ld MHz\n", bd->bi_arm_freq);
|
|
printf("DSP frequency = %ld MHz\n", bd->bi_dsp_freq);
|
|
printf("DDR frequency = %ld MHz\n", bd->bi_ddr_freq);
|
|
#endif
|
|
#ifdef CONFIG_BOARD_TYPES
|
|
printf("Board Type = %ld\n", gd->board_type);
|
|
#endif
|
|
#if CONFIG_VAL(SYS_MALLOC_F_LEN)
|
|
printf("Early malloc usage: %lx / %x\n", gd->malloc_ptr,
|
|
CONFIG_VAL(SYS_MALLOC_F_LEN));
|
|
#endif
|
|
}
|