|
@@ -18,14 +18,14 @@ void arch_print_bdinfo(void)
|
|
|
bdinfo_print_num_l("arch_number", bd->bi_arch_number);
|
|
|
#ifdef CONFIG_SYS_MEM_RESERVE_SECURE
|
|
|
if (gd->arch.secure_ram & MEM_RESERVE_SECURE_SECURED) {
|
|
|
- bdinfo_print_num_l("Secure ram",
|
|
|
- gd->arch.secure_ram &
|
|
|
- MEM_RESERVE_SECURE_ADDR_MASK);
|
|
|
+ bdinfo_print_num_ll("Secure ram",
|
|
|
+ gd->arch.secure_ram &
|
|
|
+ MEM_RESERVE_SECURE_ADDR_MASK);
|
|
|
}
|
|
|
#endif
|
|
|
#ifdef CONFIG_RESV_RAM
|
|
|
if (gd->arch.resv_ram)
|
|
|
- bdinfo_print_num_l("Reserved ram", gd->arch.resv_ram);
|
|
|
+ bdinfo_print_num_ll("Reserved ram", gd->arch.resv_ram);
|
|
|
#endif
|
|
|
#if !(CONFIG_IS_ENABLED(SYS_ICACHE_OFF) && CONFIG_IS_ENABLED(SYS_DCACHE_OFF))
|
|
|
bdinfo_print_num_l("TLB addr", gd->arch.tlb_addr);
|