1 /*
2  * (C) Copyright 2016 Rockchip Electronics Co., Ltd
3  *
4  * SPDX-License-Identifier:     GPL-2.0+
5  */
6 #include <common.h>
7 #include <asm/armv8/mmu.h>
8 
9 DECLARE_GLOBAL_DATA_PTR;
10 
11 int board_init(void)
12 {
13 	return 0;
14 }
15 
16 int dram_init(void)
17 {
18 	gd->ram_size = 0x80000000;
19 	return 0;
20 }
21 
22 void dram_init_banksize(void)
23 {
24 	/* Reserve 0x200000 for ATF bl31 */
25 	gd->bd->bi_dram[0].start = 0x200000;
26 	gd->bd->bi_dram[0].size = 0x80000000;
27 }
28