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 <config.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