board/rockchip/evb_rk3399/evb-rk3399.c

   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 }