1 // SPDX-License-Identifier: GPL-2.0+
2 /*
3  * Board init file for all histb boards
4  *
5  * (C) Copyright 2023 Yang Xiwen <forbidden405@outlook.com>
6  */
7 
8 #include <common.h>
9 #include <fdtdec.h>
10 #include <init.h>
11 #include <asm/system.h>
12 
board_init(void)13 int __weak board_init(void)
14 {
15 	return 0;
16 }
17 
dram_init_banksize(void)18 int __weak dram_init_banksize(void)
19 {
20 	return fdtdec_setup_memory_banksize();
21 }
22 
dram_init(void)23 int __weak dram_init(void)
24 {
25 	return fdtdec_setup_mem_size_base();
26 }
27 
reset_cpu(void)28 void __weak reset_cpu(void)
29 {
30 	psci_system_reset();
31 }
32